Koha - Katalog

Normale Ansicht MARC ISBD

Kleuker, Stephan

Formale Modelle der Softwareentwicklung : Model-Checking, Verifikation, Analyse und Simulation Stephan Kleuker - 1. Aufl. - Wiesbaden Vieweg+Teubner 2009 - 301 S.

ISBN: 9783834806697 Spende

Subjects--Index Terms: Modelle Softwareentwicklung

Vormerken
Druck
Meinem Korb hinzufügen (Entfernen)
Zur Anschaffung vorschlagen
Datensatz speichern
BIBTEX Dublin Core MARCXML MARC (Nicht-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
Weitere Suchen

Suche nach diesem Titel in:
Andere Bibliotheken (WorldCat) Google Scholar Online-Buchhandel (Bookfinder.com)