Konferenzschrift | Kongress
Tools and algorithms for the construction and analysis of systems : 18th international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642287558
3642287557
- Dimensions
-
24 cm
- Extent
-
XIX, 560 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 7214 : Advanced research in computing and software science
- Keyword
-
Softwareentwicklung
Systementwicklung
Verifikation
Model Checking
Theoretische Informatik
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2012
- Contributor
-
Flanagan, Cormac
König, Barbara
TACAS (18 : 2012 : Tallinn)
ETAPS (15 : 2012 : Tallinn)
- 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:34 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
- Flanagan, Cormac
- König, Barbara
- TACAS (18 : 2012 : Tallinn)
- ETAPS (15 : 2012 : Tallinn)
- Springer
Time of origin
- 2012
Other Objects (12)
Compiler construction : 18th international conference ; proceedings
Algorithms and computation : 18th international symposium; proceedings
Collaboration and technology : 18th 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 : 16th International Conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 4th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 14th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 7th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 8th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 19th international conference ; proceedings
Compiler construction : 18th international conference ; proceedings
Algorithms and computation : 18th international symposium; proceedings
Collaboration and technology : 18th 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 : 16th International Conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 4th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 14th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 7th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 8th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 19th international conference ; proceedings
Compiler construction : 18th international conference ; proceedings
Algorithms and computation : 18th international symposium; proceedings
Collaboration and technology : 18th 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 : 16th International Conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 4th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 14th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 7th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 8th international conference ; proceedings