Semantik und Programmverifikation
Reihen: Teubner-Texte zur Informatik . 34 Editionsangabe:1. Aufl. Erschienen bei: Teubner (Stuttgart [u.a.]) Physische Details: 211 S. ISBN:3519003368. Jahr: 2001Medientyp | Aktuelle Bibliothek | Signatur | Exemplarnr. | Status | Fälligkeitsdatum | Barcode |
---|---|---|---|---|---|---|
Bücher | Bibliothek der NORDAKADEMIE | EDV 51 (Regal durchstöbern (Öffnet sich unterhalb)) | 1 | Verfügbar | 017895 |
Es gibt keine Kommentare für diesen Titel.