Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: num all "9783642165603"
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 |