Konferenzschrift | Kongress

Computer aided verification : 25th international conference ; proceedings

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642397981
3642397980
Maße
24 cm, 1538 g
Umfang
XXI, 1015 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Literaturangaben

Erschienen in
Lecture notes in computer science ; 8044

Schlagwort
Verifikation

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg
(wer)
Springer
(wann)
2013
Beteiligte Personen und Organisationen
Sharygina, Natasha
Veith, Helmut
CAV (25 : 2013 : Sankt Petersburg)

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

Datenpartner

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

Objekttyp

  • Konferenzschrift
  • Kongress

Beteiligte

  • Sharygina, Natasha
  • Veith, Helmut
  • CAV (25 : 2013 : Sankt Petersburg)
  • Springer

Entstanden

  • 2013

Ähnliche Objekte (12)