Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Der Multimedia-Zeitschriftenlesesaal und der Kartenlesesaal in Leipzig sind vom 30.10. bis 03.11. geschlossen. // The multimedia/periodical reading room and the map reading room in Leipzig are closed from 30.10 to 03.11.
 
 

Ergebnis der Suche nach: "1071969641"

Zurück zur Trefferliste


Treffer 7 von 8 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/950488666
Art des Inhalts Konferenzschrift, 1997, Haifa
Titel Computer aided verification : 9th international conference ; proceedings / CAV '97, Haifa, Israel, June 22 - 25, 1997. Orna Grumberg (ed.)
Person(en) Grumberg, Orna (Herausgeber)
Organisation(en) CAV (9 : 1997 : Ḥêfā) (Herausgebendes Organ)
Verlag Berlin ; Heidelberg ; Singapore ; Tokyo ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Santa Clara : Springer
Zeitliche Einordnung Erscheinungsdatum: 1997
Umfang/Format XI, 486 S. : graph. Darst. ; 23 cm
ISBN/Einband/Preis 978-3-540-63166-8 kart. : DM 98.00
3-540-63166-6 kart. : DM 98.00
Sprache(n) Englisch (eng)
Beziehungen Lecture notes in computer science ; Vol. 1254
Anmerkungen Literaturangaben
Schlagwörter Verifikation ; Kongress ; Haifa <1997>
Sachgruppe(n) 28 Informatik, Datenverarbeitung
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: 1997 A 29759
Bereitstellung in Frankfurt
Leipzig Signatur: 1997 A 29759
Bereitstellung in Leipzig




Treffer 7 von 8
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration