The spin model checker primer and reference manual Gerard J. Holzmann
Materialtyp:
TextSprache: Englisch Verlag: Boston Munich [u.a.] Addison-Wesley 2004Beschreibung: XII, 596 S. Ill., graph. DarstInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 0321228626
- 9780321773715
- 0321773713
- 620.001171
- 620/.001/171
- 004.24
- TA168.H65 2003
- ST 233
| 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) | Books A-Z (1st) | HOL g 2003:1 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000009296 | ||
|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | HOL g 2003:1 2.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000122049 |
Regale von HOMEBRANCH: Universität des Saarlandes Fachrichtung Informatik durchstöbern, Standort: Books A-Z (1st), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)
| HOL g 1991:1 1.Ex Design and validation of computer protocols | HOL g 1991:1 2.Ex Design and validation of computer protocols | HOL g 2003:1 1.Ex The spin model checker primer and reference manual | HOL g 2003:1 2.Ex The spin model checker primer and reference manual | HOL j3 1992:1 2.Ex Adaptation in natural and artificial systems an introductory analysis with applications to biology, control, and artificial intelligence | HOL j3 1995:1 1.Ex Hidden order how adaptation builds complexity | HÖL o 1978:1 1.Ex Die mathematische Methode logisch erkenntnistheoretische Untersuchungen im Gebiete der Mathematik, Mechanik und Physik |