Konferenzschrift | Kongress
Formal methods for software architectures : advanced lectures
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540200833
3540200835
- Dimensions
-
24 cm
- Extent
-
VI, 285 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 2804
- Keyword
-
Softwareentwicklung
Formale Methode
Systementwicklung
Formale Methode
Softwarearchitektur
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo
- (who)
-
Springer
- (when)
-
2003
- Contributor
-
Bernardo, Marco
International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures (3 : 2003 : Bertinoro)
- 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:31 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
- Bernardo, Marco
- International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures (3 : 2003 : Bertinoro)
- Springer
Time of origin
- 2003
Other Objects (12)
Formal methods for eternal networked software systems : advanced lectures
Advanced lectures on software engineering
Formal methods for web services : advanced lectures
Formal methods for performance evaluation : advanced lectures
Formal methods for dynamical systems : advanced lectures
Formal methods for hardware verification : advanced lectures
Formal methods for model-driven engineering : advanced lectures
Formal methods for computational systems biology : advanced lectures
Unifying theories of programming and formal engineering methods : advanced lectures
Formal methods for quantitative aspects of programming languages : advanced lectures
Specification and analysis of software architectures : modeling of software architectures
Sequences of Software Architectures
Formal methods for eternal networked software systems : advanced lectures
Advanced lectures on software engineering
Formal methods for web services : advanced lectures
Formal methods for performance evaluation : advanced lectures
Formal methods for dynamical systems : advanced lectures
Formal methods for hardware verification : advanced lectures
Formal methods for model-driven engineering : advanced lectures
Formal methods for computational systems biology : advanced lectures
Unifying theories of programming and formal engineering methods : advanced lectures
Formal methods for quantitative aspects of programming languages : advanced lectures
Specification and analysis of software architectures : modeling of software architectures
Sequences of Software Architectures
Formal methods for eternal networked software systems : advanced lectures
Advanced lectures on software engineering
Formal methods for web services : advanced lectures
Formal methods for performance evaluation : advanced lectures
Formal methods for dynamical systems : advanced lectures
Formal methods for hardware verification : advanced lectures
Formal methods for model-driven engineering : advanced lectures
Formal methods for computational systems biology : advanced lectures
Unifying theories of programming and formal engineering methods : advanced lectures
Formal methods for quantitative aspects of programming languages : advanced lectures
Specification and analysis of software architectures : modeling of software architectures