Katalog der Deutschen Nationalbibliothek

 

Ergebnis der Suche nach: idn=954681290



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz http://d-nb.info/954681290
Art des Inhalts Konferenzschrift, 1998, Palo Alto (Calif.)
Titel Formal methods in computer aided design : second international conference ; proceedings / FMCAD '98, Palo Alto, CA, USA, November 4 - 6, 1998. Ganesh Gopalakrishnan ; Phillip Windley (ed.)
Person(en) Gopalakrishnan, Ganesh (Herausgeber)
Organisation(en) FMCAD (2 : 1998 : Palo Alto, Calif.) (Herausgebendes Organ)
Verlag Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Singapore ; Tokyo : Springer
Zeitliche Einordnung Erscheinungsdatum: 1998
Umfang/Format IX, 528 S. : graph. Darst. ; 24 cm
Andere Ausgabe(n) Online-Ausg.: Formal methods in computer aided design
ISBN/Einband/Preis 978-3-540-65191-8 kart. : DM 106.00
3-540-65191-8 kart. : DM 106.00
Sprache(n) Englisch (eng)
Beziehungen Lecture notes in computer science ; Vol. 1522
Anmerkungen Literaturangaben
Schlagwörter CAD ; Verifikation ; Model Checking ; Kongress ; Palo Alto
Entwurfsautomation ; Verifikation ; Model Checking ; Kongress ; Palo Alto
Sachgruppe(n) 28 Informatik, Datenverarbeitung ; 37 Elektrotechnik
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: 1998 A 65373
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Frankfurt
Leipzig Signatur: 1998 A 65373
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <


E-Mail-IconAdministration