Sökning: onr:5368361 > Systems and softwar...
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Systems and software verification : model-checking techniques and tools / B. Bérard ... [et al.].
- Bérard, Béatrice (medarbetare)
- ISBN 3540415238
- Publicerad: Berlin ; Springer, cop. 2001
- Engelska xii, 190 s.
- Bok
Ämnesord
Inställningar
Hjälp
Stäng
Ämnesord
- Systemutveckling (sao)
- Programutveckling (sao)
- Computer systems -- Verification (LCSH)
- Computer software -- Verification (LCSH)
- System design (LCSH)
- Software engineering (LCSH)
Indexterm och SAB-rubrik
- Puba Systemutveckling
- Pubb Programmering
Klassifikation
- 005.1 (DDC)
- Puba (kssb/7)
- Pubb (kssb/7)
Titeln finns på 5 bibliotek.
Bibliotek i Mellansverige (2)
Ange som favorit- Mälardalens universitet, Västerås, Universitetsbiblioteket (Mdv)Ange som favorit
- Titeln i bibliotekets lokala katalogTillgänglighet vid MDU
-
- Placering: P Kursbok, ej fjärrlån
- Uppsala universitetsbibliotek, Ångströmbiblioteket (Uang)Ange som favorit
- Mina lånLåna/reservera
-
- Placering: 005.14 Systems
Bibliotek i Stockholmsregionen (2)
Ange som favorit- Stockholms universitetsbibliotek, Stockholms universitet Frescatibiblioteket (H)Ange som favorit
- Låna/reservera
- Utlånad?Öppettider, adress m.m.
- Kungliga Tekniska högskolan, KTH Biblioteket, Huvudbiblioteket (T)Ange som favorit
- Titeln i bibliotekets lokala katalogTillgänglighet för KTH Biblioteket
-
- Placering: 005 Systems 2001
Bibliotek i södra Sverige (1)
Ange som favorit- Malmö universitetsbibliotek, Orkanenbiblioteket (Mah)Ange som favorit
- Titeln i bibliotekets lokala katalogFTF@Malmö
-
- Placering: 005.1 sys
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Sök vidare
Hjälp
- Fler titlar av
- Bérard, Béatrice
- Fler titlar om
- Systemutveckling
- Programutveckling
-
- Computer systems
- Computer systems
- och Verification
-
- Computer software
- Computer software
- och Verification
- System design
- Software engineering
Sök utanför LIBRIS
Hjälp
- Sök vidare i:
- Google Book Search
- Google Scholar
- LibraryThing
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
Copyright © LIBRIS - Nationella bibliotekssystem
