Konferenzschrift | Kongress

Computer aided verification : 25th international conference ; proceedings

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642397981
3642397980
Dimensions
24 cm, 1538 g
Extent
XXI, 1015 S.
Language
Englisch
Notes
graph. Darst.
Literaturangaben

Bibliographic citation
Lecture notes in computer science ; 8044

Keyword
Verifikation

Event
Veröffentlichung
(where)
Berlin, Heidelberg
(who)
Springer
(when)
2013
Contributor
Sharygina, Natasha
Veith, Helmut
CAV (25 : 2013 : Sankt Petersburg)

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.06.2025, 2:27 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Konferenzschrift
  • Kongress

Associated

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

Time of origin

  • 2013

Other Objects (12)