Model checking software proceedings 9th International SPIN Workshop, Grenoble, France, April 11 - 13, 2002. Dragan Bos̆nac̆ki; Stefan Leue (ed.)
Materialtyp:
TextSprache: Englisch Reihen: ; 231800 | Lecture notes in computer science ; 2318Verlag: Berlin Heidelberg [u.a.] Springer 2002Beschreibung: X, 257 S. graph. Darst. 24 cmInhaltstyp: - 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 | |
|---|---|---|---|---|---|---|---|---|
Buch
|
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 |
Regale von HOMEBRANCH: Max-Planck-Institut für Informatik durchstöbern, Standort: Series (GF), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)
Literaturangaben
Bošnački, Dragan: Model Checking Software
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31