Konferenzschrift | Kongress | Kongress <2006>

Formal methods for hardware verification : advanced lectures

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540343042
3540343040
Maße
24 cm
Umfang
VI, 242 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Literaturangaben

Erschienen in
Lecture notes in computer science ; Vol. 3965 : Tutorial

Schlagwort
Hardwareentwurf
Hardwareverifikation
Formale Methode
Hardwareentwurf
Hardwareverifikation
Model Checking
Automatisches Beweisverfahren
Hardwareentwurf
Hardwareverifikation
Model Checking
Automatisches Beweisverfahren

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg, New York
(wer)
Springer
(wann)
2006
Beteiligte Personen und Organisationen
Bernardo, Marco
International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6 : 2006 : Bertinoro)

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 13:39 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Konferenzschrift
  • Kongress
  • Kongress <2006>

Beteiligte

  • Bernardo, Marco
  • International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6 : 2006 : Bertinoro)
  • Springer

Entstanden

  • 2006

Ähnliche Objekte (12)