Supporting formal program developments: the DEVA environment Stefan Jähnichen ...
Materialtyp:
TextSprache: Englisch Reihen: ; 1989053 | International Computer Science Institute TR / International Computer Science Institute ; 1989053 | Verlag: Berkeley, Calif. International Computer Science Inst. 1989Beschreibung: 15 S. IllInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Hinweise | Fälligkeitsdatum | Barcode | |
|---|---|---|---|---|---|---|---|---|---|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Reports (B) | Berkeley ICSI TR-89-053 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | Reports MPI | 2000000069920 |