Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

Noch nicht die passende Literatur gefunden? → Book a Librarian

Am Dienstag, den 11.06.2024 ist die Deutsche Nationalbibliothek in Frankfurt am Main wegen eines Betriebsausflugs geschlossen.

Ergebnis der Suche nach: tit all "Making Specifications Complete Through Models."

Treffer 1 von 1


Link zu diesem Datensatz	https://d-nb.info/991461371
Titel	Reusable mathematical models : making software specifications complete through models / Tobias Widmer
Person(en)	Widmer, Tobias (Verfasser)
Verlag	Saarbrücken : VDM Verlag Dr. Müller
Zeitliche Einordnung	Erscheinungsdatum: 2008
Umfang/Format	148 S. ; 24 cm
ISBN/Einband/Preis	978-3-8364-6673-8 kart.
Sprache(n)	Deutsch (ger)
Anmerkungen	Hergestellt on demand
Schlagwörter	Softwarespezifikation ; Programmverifikation ; Mathematisches Modell ; Klassenbibliothek ; EIFFEL <Programmiersprache> ; Design by Contract
DDC-Notation	005.14 [DDC22ger]
Sachgruppe(n)	004 Informatik ; 510 Mathematik
Weiterführende Informationen	Inhaltsverzeichnis

Frankfurt	Signatur: 2010 A 13879 Bereitstellung in Frankfurt
Leipzig	Signatur: 2009 A 4140 Bereitstellung in Leipzig

Treffer 1 von 1

Korrekturanfrage