Konferenzschrift | Kongress
Tools for practical software verification : LASER, international summer school 2011, Elba Island, Italy ; revised tutorial lectures
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642357459
3642357458
- Dimensions
-
24 cm
- Extent
-
181 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 7682 : Tutorial
- Keyword
-
Programmverifikation
Formale Methode
Model Checking
Automatisches Beweisverfahren
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2012
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:16 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
- Meyer, Bertrand
- Nordio, Martin
- LASER (8 : 2011 : Elba)
- Springer
Time of origin
- 2012
Other Objects (12)
Empirical software engineering and verification : international summer schools, LASER 2008 - 2010, Elba Island, Italy ; revised tutorial lectures
Modeling and verification of parallel processes : 4th summer school ; revised tutorial lectures
Business intelligence : first European summer school ; tutorial lectures
Business intelligence : second European summer school ; tutorial lectures
Software engineering : international summer schools ; revised tutorial lectures
Software engineering : international summer schools ; revised tutorial lectures
Reasoning web : second international summer school 2006, Lisbon, Portugal, September 4 - 8, 2006 ; tutorial lectures
Reasoning Web : 4th international summer school 2008, Venice Italy, September 7 - 11, 2008 ; tutorial lectures
Reasoning web : third international summer school 2007, Dresden, Germany, September 3 - 7, 2007 ; tutorial lectures
Advances in software engineering : revised tutorial lectures
Humboldt Lectures, Summer 2015
Business Intelligence : 4th European Summer School, eBISS 2014, Berlin, Germany, July 6-11, 2014, Tutorial Lectures
Empirical software engineering and verification : international summer schools, LASER 2008 - 2010, Elba Island, Italy ; revised tutorial lectures
Modeling and verification of parallel processes : 4th summer school ; revised tutorial lectures
Business intelligence : first European summer school ; tutorial lectures
Business intelligence : second European summer school ; tutorial lectures
Software engineering : international summer schools ; revised tutorial lectures
Software engineering : international summer schools ; revised tutorial lectures
Reasoning web : second international summer school 2006, Lisbon, Portugal, September 4 - 8, 2006 ; tutorial lectures
Reasoning Web : 4th international summer school 2008, Venice Italy, September 7 - 11, 2008 ; tutorial lectures
Reasoning web : third international summer school 2007, Dresden, Germany, September 3 - 7, 2007 ; tutorial lectures
Advances in software engineering : revised tutorial lectures
Humboldt Lectures, Summer 2015
Business Intelligence : 4th European Summer School, eBISS 2014, Berlin, Germany, July 6-11, 2014, Tutorial Lectures
Empirical software engineering and verification : international summer schools, LASER 2008 - 2010, Elba Island, Italy ; revised tutorial lectures
Modeling and verification of parallel processes : 4th summer school ; revised tutorial lectures
Business intelligence : first European summer school ; tutorial lectures
Business intelligence : second European summer school ; tutorial lectures
Software engineering : international summer schools ; revised tutorial lectures
Software engineering : international summer schools ; revised tutorial lectures
Reasoning web : second international summer school 2006, Lisbon, Portugal, September 4 - 8, 2006 ; tutorial lectures
Reasoning Web : 4th international summer school 2008, Venice Italy, September 7 - 11, 2008 ; tutorial lectures
Reasoning web : third international summer school 2007, Dresden, Germany, September 3 - 7, 2007 ; tutorial lectures
Advances in software engineering : revised tutorial lectures
Humboldt Lectures, Summer 2015