Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=104841096X
Link zu diesem Datensatz | https://d-nb.info/104841096X |
Art des Inhalts | Hochschulschrift |
Titel | Formal specification level : concepts, methods, and algorithms / Mathias Soeken |
Person(en) | Soeken, Mathias (Verfasser) |
Zeitliche Einordnung | Erscheinungsdatum: 2013 |
Umfang/Format | VIII, 128 S. : graph. Darst. ; 30 cm |
Hochschulschrift | Bremen, Univ., Diss., 2013 |
Sprache(n) | Englisch (eng) |
DDC-Notation | 005.131 [DDC22ger] |
Sachgruppe(n) | 004 Informatik |
Weiterführende Informationen | Inhaltsverzeichnis |
Frankfurt |
Signatur: 2014 B 13111
Bereitstellung in Frankfurt |
Leipzig |
Signatur: 2014 B 20841
Bereitstellung in Leipzig |