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
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
