Katalog der Deutschen Nationalbibliothek

Neuigkeiten Frankfurt: Die Servicetheke Frankfurt ist heute nur bis 17 Uhr besetzt. Bitte beachten Sie dies für Anmeldung und Ausleihe von Sondermaterialien.

Frankfurt: The Frankfurt service desk is only open until 5 p.m. today. Please note this when registering and borrowing special materials.
 
Neuigkeiten

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

 
 

Ergebnis der Suche nach: "122824547"

Zurück zur Trefferliste


Treffer 2 von 7 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/942700805
Titel The Korso case study for software engineering with formal methods / F. Cornelius ; H. Hussmann ; M. Löwe. Technische Universität Berlin, Fachbereich 13, Informatik
Person(en) Cornelius, Felix (Verfasser)
Hußmann, Heinrich (Verfasser)
Löwe, Michael (Verfasser)
Verlag Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
Zeitliche Einordnung Erscheinungsdatum: 1994
Umfang/Format 39 Bl. ; 29 cm
ISBN/Einband/Preis kart.
Beziehungen Technische Universität Berlin. Fachbereich Informatik: Forschungsberichte des Fachbereiches Informatik ; Bericht-Nr. [19]94,5
Anmerkungen Literaturverz. Bl. 37 - 39
Status nach VGG: lieferbar
Sachgruppe(n) 28 Informatik, Datenverarbeitung

Frankfurt Signatur: 1994 B 22354
Bereitstellung in Frankfurt
Leipzig Signatur: 1994 B 22354
Bereitstellung in Leipzig




Treffer 2 von 7
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration