Konferenzschrift | Kongress
Tools and algorithms for the construction and analysis of systems : 16th International Conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642120015
- Dimensions
-
24 cm
- Extent
-
XVI, 468 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 6015 : Advanced research in computing and software science
- Keyword
-
Systementwicklung
Softwareentwicklung
Model Checking
Programmanalyse
Theoretische Informatik
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, NY
- (who)
-
Springer
- (when)
-
2010
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
25.03.2023, 9:17 PM CET
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
- Esparza, Javier
- TACAS (16 : 2010 : Paphos)
- ETAPS (13 : 2010 : Paphos)
- Springer
Time of origin
- 2010
Other Objects (12)
Compiler construction : 16th international conference ; proceedings
Algorithms and computation : 16th international symposium ; proceedings
Collaboration and technology : 16th international conference ; proceedings
Algorithms : 16th annual European symposium ; proceedings
Information security and privacy : 16th Australisian conference ; proceedings
Term rewriting and applications : 16th international conference ; proceedings
Text, speech, and dialogue : 16th international conference ; proceedings
Computing and combinatorics : 16th annual international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 20th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 13th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 6th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 4th international conference ; proceedings
Compiler construction : 16th international conference ; proceedings
Algorithms and computation : 16th international symposium ; proceedings
Collaboration and technology : 16th international conference ; proceedings
Algorithms : 16th annual European symposium ; proceedings
Information security and privacy : 16th Australisian conference ; proceedings
Term rewriting and applications : 16th international conference ; proceedings
Text, speech, and dialogue : 16th international conference ; proceedings
Computing and combinatorics : 16th annual international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 20th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 13th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 6th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 4th international conference ; proceedings
Compiler construction : 16th international conference ; proceedings
Algorithms and computation : 16th international symposium ; proceedings
Collaboration and technology : 16th international conference ; proceedings
Algorithms : 16th annual European symposium ; proceedings
Information security and privacy : 16th Australisian conference ; proceedings
Term rewriting and applications : 16th international conference ; proceedings
Text, speech, and dialogue : 16th international conference ; proceedings
Computing and combinatorics : 16th annual international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 20th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 13th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 6th international conference ; proceedings