Industrial strength formal methods in practice / Michael G. Hinchey ... (eds.)
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Formal approaches to computing and information technologyPublisher: London ; Berlin ; Heidelberg [u.a.] : Springer, 1999Description: XVI, 400 S. : graph. DarstISBN:- 1852336404
- industrial-strength
- 005.13/1
- 005.131
- QA76.9.F67I53 1999
Contents:
Action note: - 3
Item type | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|---|
Freihandbestand ausleihbar | Fachbibliothek Informatik | E.Ind | Bibliothek / frei aufgestellt | E.Ind(33362) | Available | 000382858090 |
Total holds: 0
Archivierung prüfen 20200919 DE-640 3 pdager