Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: num all "9783642165603"



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/1006976000
Art des Inhalts Konferenzschrift
Titel Leveraging applications of formal methods, verification, and validation
Teil: Pt. 2
Verlag Berlin ; Heidelberg ; New York, NY : Springer
Zeitliche Einordnung Erscheinungsdatum: 2010
Umfang/Format XIX, 500 S. : graph. Darst.
ISBN/Einband/Preis 978-3-642-16560-3 kart. : EUR 74.90 (DE) (freier Pr.), sfr 100.50 (freier Pr.)
Bestellnummer(n) 80025575
EAN 9783642165603
Sprache(n) Englisch (eng)
Beziehungen Lecture notes in computer science ; 6416
Weiterführende Informationen Inhaltsverzeichnis
Inhaltstext

Frankfurt Signatur: 2010 A 80531
Bereitstellung in Frankfurt
Leipzig Signatur: 2010 A 104489
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration