Rigorous methods for software construction and analysis : Dagstuhl seminar 06191 ; May 7 - 12, 2006
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
[Wadern]
- (who)
-
[Internat. Begegnungs- und Forschungszentrum für Informatik]
- (when)
-
[2006]
- Contributor
-
Abrial, Jean-Raymond
Glässer, Uwe
- URN
-
urn:nbn:de:0030-drops-6656
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:53 AM 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.
Associated
- Abrial, Jean-Raymond
- Glässer, Uwe
- [Internat. Begegnungs- und Forschungszentrum für Informatik]
Time of origin
- [2006]
Other Objects (12)
Rigorous methods for software construction and analysis : 06191 abstracts collection ; Dagstuhl seminar
Executive summary / Dagstuhl Seminar "Challenges in Symbolic Computation Software" 2006
Dagstuhl Seminar "Transformation Techniques in Software Engineering" (TrafoDagstuhl 2005) : executive summary
Software platforms for quantitative proteomics : Dagstuhl seminar
End user software engineering : Dagstuhl Seminar 07081
Rigorous analysis and design for software intensive systems : 07.11.1999 - 12.11.1999
Dagstuhl-Seminar "Theory of evolutionary algoritms" 2006
Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday
End user software engineering : 07081 abstracts collection ; Dagstuhl seminar
Software verification: infinite state model checking and static program analysis : Dagstuhl seminar 06081 ; Februar 19 - 24, 2006
Towards Rigorous Agent-Based Modelling : Linking, Extending, and Using Existing Software Platforms
Numerical software with result verification : international Dagstuhl Seminar, Dagstuhl castle, Germany, January 19 - 24, 2003 ; revised papers
Rigorous methods for software construction and analysis : 06191 abstracts collection ; Dagstuhl seminar
Executive summary / Dagstuhl Seminar "Challenges in Symbolic Computation Software" 2006
Dagstuhl Seminar "Transformation Techniques in Software Engineering" (TrafoDagstuhl 2005) : executive summary
Software platforms for quantitative proteomics : Dagstuhl seminar
End user software engineering : Dagstuhl Seminar 07081
Rigorous analysis and design for software intensive systems : 07.11.1999 - 12.11.1999
Dagstuhl-Seminar "Theory of evolutionary algoritms" 2006
Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday
End user software engineering : 07081 abstracts collection ; Dagstuhl seminar
Software verification: infinite state model checking and static program analysis : Dagstuhl seminar 06081 ; Februar 19 - 24, 2006
Towards Rigorous Agent-Based Modelling : Linking, Extending, and Using Existing Software Platforms
Numerical software with result verification : international Dagstuhl Seminar, Dagstuhl castle, Germany, January 19 - 24, 2003 ; revised papers
Rigorous methods for software construction and analysis : 06191 abstracts collection ; Dagstuhl seminar
Executive summary / Dagstuhl Seminar "Challenges in Symbolic Computation Software" 2006
Dagstuhl Seminar "Transformation Techniques in Software Engineering" (TrafoDagstuhl 2005) : executive summary
Software platforms for quantitative proteomics : Dagstuhl seminar
End user software engineering : Dagstuhl Seminar 07081
Rigorous analysis and design for software intensive systems : 07.11.1999 - 12.11.1999
Dagstuhl-Seminar "Theory of evolutionary algoritms" 2006
Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday
End user software engineering : 07081 abstracts collection ; Dagstuhl seminar
Software verification: infinite state model checking and static program analysis : Dagstuhl seminar 06081 ; Februar 19 - 24, 2006
Towards Rigorous Agent-Based Modelling : Linking, Extending, and Using Existing Software Platforms