Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: tit all "Software engineering and formal methods."

Zurück zur Trefferliste


Treffer 18 von 18 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/940455935
Titel Synergy between formal and pragmatic software engineering methods / Heinrich Hussmann. TUM, Institut für Informatik ; Technische Universität München
Person(en) Hußmann, Heinrich (Verfasser)
Verlag München : Inst. für Informatik
Zeitliche Einordnung Erscheinungsdatum: 1993
Umfang/Format 14 S. ; 21 cm
ISBN/Einband/Preis geh.
Identifikationsnummern Reportnummer: TUM I 9323
Anmerkungen Status nach VGG: lieferbar
Sachgruppe(n) 28 Informatik, Datenverarbeitung

Frankfurt Signatur: 1994 A 1372
Bereitstellung in Frankfurt
Leipzig Signatur: 1994 A 1372
Bereitstellung in Leipzig




Treffer 18 von 18
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration