Model checking software proceedings 9th International SPIN Workshop, Grenoble, France, April 11 - 13, 2002. Dragan Bos̆nac̆ki; Stefan Leue (ed.)
Materialtyp:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- Text
- ohne Hilfsmittel zu benutzen
- Band
- 3540434771
- 9th International SPIN Workshop
- SPIN (Computer file) -- Congresses
- Computer software -- Verification -- Congresses
- Computer software -- Verification -- Congresses
- SPIN (Computer file) -- Congresses
- Model Checking
- Model Checking
- Model Checking
- Model Checking
- Programmverifikation
- Programmverifikation
- Model Checking
- Programmverifikation
- Model Checking
- Model Checking
- Programmverifikation
- Model Checking
- 28
- SS 4800
- *00B25
- 68-06
- 68Q60
- 54.10
- 54.52
- 54.53
- Archivierung/Langzeitarchivierung gewährleistet PEBW
Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | |
---|---|---|---|---|---|---|---|---|
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Series (GF) | LNCS 2318 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000176321 |
Literaturangaben
Bošnački, Dragan: Model Checking Software
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31