Konferenzschrift | Kongress

Computer aided verification : 9th international conference ; proceedings

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540631668
3540631666
Maße
23 cm
Umfang
XI, 486 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Literaturangaben

Erschienen in
Lecture notes in computer science ; Vol. 1254

Schlagwort
Verifikation

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, London, Milan, Paris, Santa Clara, Singapore, Tokyo
(wer)
Springer
(wann)
1997
Beteiligte Personen und Organisationen
Grumberg, Orna
CAV (9 : 1997 : Ḥêfā)

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:46 MESZ

Datenpartner

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

Objekttyp

  • Konferenzschrift
  • Kongress

Beteiligte

Entstanden

  • 1997

Ähnliche Objekte (12)

Computer aided verification : 13th international conference ; proceedings

Konferenzschrift | Kongress

Computer aided verification : 13th international conference ; proceedings

Computer aided verification : 10th international conference ; proceedings

Konferenzschrift | Kongress

Computer aided verification : 10th international conference ; proceedings

Computer aided verification : 23rd international conference ; proceedings

Konferenzschrift | Kongress

Computer aided verification : 23rd international conference ; proceedings

Computer aided verification : 11th international conference ; proceedings

Konferenzschrift | Kongress

Computer aided verification : 11th international conference ; proceedings

Computer aided verification : 7th international conference ; proceedings

Konferenzschrift | Kongress

Computer aided verification : 7th international conference ; proceedings

Computer aided verification : 22nd international conference ; proceedings

Konferenzschrift | Kongress

Computer aided verification : 22nd international conference ; proceedings

Computer aided verification : 25th international conference ; proceedings

Konferenzschrift | Kongress

Computer aided verification : 25th international conference ; proceedings

Computer aided verification : 15th international conference ; proceedings

Konferenzschrift | Kongress

Computer aided verification : 15th international conference ; proceedings

Computer aided verification : 18th international conference ; proceedings

Konferenzschrift | Kongress

Computer aided verification : 18th international conference ; proceedings

Computer aided verification : 24th international conference ; proceedings

Konferenzschrift | Kongress

Computer aided verification : 24th international conference ; proceedings

Computer aided verification : 8th international conference ; proceedings

Konferenzschrift | Kongress

Computer aided verification : 8th international conference ; proceedings

Computer aided verification : 16th international conference ; proceedings

Konferenzschrift | Kongress

Computer aided verification : 16th international conference ; proceedings

Verbundene Objekte