MARVIN a tool for applicative and modular compiler specifications Harald Ganzinger; Robert Giegerich; Martin Vach
Materialtyp:
TextSprache: Englisch Reihen: ; 220 | Universität Dortmund Forschungsberichte des Fachbereichs Informatik der Universität Dortmund ; 220 | Verlag: Dortmund Univ., Fachbereich Informatik 1986Beschreibung: 21 SInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- SS 5530
- 54.53
| 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) | Reports (B) | Dortmund Informatik 220 (Regal durchstöbern(Öffnet sich unterhalb)) | only use on site | 2000000381688 |