Konferenzschrift | Kongress
Refinement techniques in software engineering : revised lectures
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540462538
3540462538
- Dimensions
-
24 cm
- Extent
-
X, 391 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 3167 : Tutorial
- Keyword
-
Software Engineering
Verfeinerung
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York
- (who)
-
Springer
- (when)
-
2006
- Contributor
-
Cavalcanti, Ana
Pernambuco Summer School on Software Engineering (1 : 2004 : Recife)
- 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, 2:00 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
- Cavalcanti, Ana
- Pernambuco Summer School on Software Engineering (1 : 2004 : Recife)
- Springer
Time of origin
- 2006
Other Objects (12)
Advances in software engineering : revised tutorial lectures
Abstraction refinement techniques for software model checking
Software engineering : international summer schools ; revised tutorial lectures
Software engineering : international summer schools ; revised tutorial lectures
Testing techniques in software engineering : revised lecture
Advances in software engineering techniques : revised selected papers
Advanced lectures on machine learning : revised lectures
Advanced lectures on machine learning : revised lectures
New techniques for abstraction refinement
Lectures on formal methods and performance analysis : revised lectures
Characterization and comparison of formal refinement and development relations for software modeling techniques
Computational neuroscience: cortical dynamics : revised lectures
Advances in software engineering : revised tutorial lectures
Abstraction refinement techniques for software model checking
Software engineering : international summer schools ; revised tutorial lectures
Software engineering : international summer schools ; revised tutorial lectures
Testing techniques in software engineering : revised lecture
Advances in software engineering techniques : revised selected papers
Advanced lectures on machine learning : revised lectures
Advanced lectures on machine learning : revised lectures
New techniques for abstraction refinement
Lectures on formal methods and performance analysis : revised lectures
Characterization and comparison of formal refinement and development relations for software modeling techniques
Computational neuroscience: cortical dynamics : revised lectures
Advances in software engineering : revised tutorial lectures
Abstraction refinement techniques for software model checking
Software engineering : international summer schools ; revised tutorial lectures
Software engineering : international summer schools ; revised tutorial lectures
Testing techniques in software engineering : revised lecture
Advances in software engineering techniques : revised selected papers
Advanced lectures on machine learning : revised lectures
Advanced lectures on machine learning : revised lectures
New techniques for abstraction refinement
Lectures on formal methods and performance analysis : revised lectures
Characterization and comparison of formal refinement and development relations for software modeling techniques