Industrial strength formal methods in practice / Michael G. Hinchey ... (eds.)
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Formal approaches to computing and information technologyVerlag: London ; Berlin ; Heidelberg [u.a.] : Springer, 1999Beschreibung: XVI, 400 S. : graph. DarstISBN:- 1852336404
- industrial-strength
- 005.13/1
- 005.131
- QA76.9.F67I53 1999
Inhalte:
Bearbeitungsvermerk: - 3
Medientyp | Heimatbibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | Vormerkungen | |
---|---|---|---|---|---|---|---|---|---|
Freihandbestand ausleihbar | Fachbibliothek Informatik | E.Ind | Bibliothek / frei aufgestellt | E.Ind(33362) | Verfügbar | 000382858090 |
Anzahl Vormerkungen: 0
Archivierung prüfen 20200919 DE-640 3 pdager