Konferenzschrift | Kongress
Computer aided verification : 23rd international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642221095
3642221092
- Dimensions
-
24 cm
- Extent
-
XVII, 763 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 6806
- Keyword
-
Verifikation
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2011
- Contributor
-
Gopalakrishnan, Ganesh
Qadeer, Shaz
CAV (23 : 2011 : Snowbird, Utah)
- 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, 1:50 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Gopalakrishnan, Ganesh
- Qadeer, Shaz
- CAV (23 : 2011 : Snowbird, Utah)
- Springer
Time of origin
- 2011
Other Objects (12)
Computer aided verification : 12th international conference ; proceedings
Computer aided verification : 18th international conference ; proceedings
Computer aided verification : 11th international conference ; proceedings
Computer aided verification : 8th international conference ; proceedings
Computer aided verification : 16th international conference ; proceedings
Computer aided verification : 25th international conference ; proceedings
Computer aided verification : 7th international conference ; proceedings
Computer aided verification : 20th international conference ; proceedings
Computer aided verification : 19th international conference ; proceedings
Computer aided verification : 5th international conference ; proceedings
Computer aided verification : 22nd international conference ; proceedings
Computer aided verification : 14th international conference ; proceedings
Computer aided verification : 12th international conference ; proceedings
Computer aided verification : 18th international conference ; proceedings
Computer aided verification : 11th international conference ; proceedings
Computer aided verification : 8th international conference ; proceedings
Computer aided verification : 16th international conference ; proceedings
Computer aided verification : 25th international conference ; proceedings
Computer aided verification : 7th international conference ; proceedings
Computer aided verification : 20th international conference ; proceedings
Computer aided verification : 19th international conference ; proceedings
Computer aided verification : 5th international conference ; proceedings
Computer aided verification : 22nd international conference ; proceedings
Computer aided verification : 14th international conference ; proceedings
Computer aided verification : 12th international conference ; proceedings
Computer aided verification : 18th international conference ; proceedings
Computer aided verification : 11th international conference ; proceedings
Computer aided verification : 8th international conference ; proceedings
Computer aided verification : 16th international conference ; proceedings
Computer aided verification : 25th international conference ; proceedings
Computer aided verification : 7th international conference ; proceedings
Computer aided verification : 20th international conference ; proceedings
Computer aided verification : 19th international conference ; proceedings
Computer aided verification : 5th international conference ; proceedings
Computer aided verification : 22nd international conference ; proceedings