Partial order methods in verification DIMACS workshop July 24-26, 1996 Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors
Materialtyp: TextSprache: Englisch Reihen: ; 29 | Center for Discrete Mathematics and Theoretical Computer Science DIMACS series in discrete mathematics and theoretical computer science ; 29 | Verlag: Providence, R.I American Mathematical Society c1997Beschreibung: xiv, 403 p graph. Darst 26 cmInhaltstyp:- Text
- ohne Hilfsmittel zu benutzen
- Band
- 0821805797
- Electronic data processing -- Distributed processing -- Congresses
- Computer software -- Verification -- Congresses
- Programmverifikation
- Ordnung Mathematik
- Kongress
- Numerical calculations -- Verification
- Princeton <NJ, 1996>
- Princeton <NJ, 1996>
- Halbordnung
- Kongress
- Ordnung <Mathematik>
- Programmverifikation
- Verifikation
- Zustandsraum
- Verifikation
- Zustandsraum
- Halbordnung
- QA76.9.D5
- 17,1
- SS 1996
- ST 130
- *00B25
- 68-06
- 68Q10
- 68Q45
- 68Q55
- 68Q60
- 54.10
- 3
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 (B) | DIMACS 29 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000051901 |
Includes bibliographical references
Partial order methods in verification
Archivierung prüfen 20200919 DE-640 3 pdager