Konferenzschrift | Kongress
Formal methods for web services : advanced lectures
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642019173
- Dimensions
-
24 cm
- Extent
-
VI, 339 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 5569 : Tutorial
- Keyword
-
Web Services
Formale Methode
Web Services
Serviceorientierte Architektur
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, NY
- (who)
-
Springer
- (when)
-
2009
- Contributor
-
Bernardo, Marco
International School on Formal Methods for the Design of Computer, Communication, and Software Systems (9 : 2009 : 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.02.2026, 1:20 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 (9 : 2009 : Bertinoro)
- Springer
Time of origin
- 2009
Other Objects (12)
Formal methods for software architectures : 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
Formal methods for eternal networked software systems : advanced lectures
Formal methods for quantitative aspects of programming languages : advanced lectures
Unifying theories of programming and formal engineering methods : advanced lectures
Lectures on formal methods and performance analysis : revised lectures
Lectures on advanced computational methods in mechanics
Advanced lectures on machine learning : revised lectures
Formal methods for software architectures : 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
Formal methods for eternal networked software systems : advanced lectures
Formal methods for quantitative aspects of programming languages : advanced lectures
Unifying theories of programming and formal engineering methods : advanced lectures
Lectures on formal methods and performance analysis : revised lectures
Lectures on advanced computational methods in mechanics
Advanced lectures on machine learning : revised lectures
Formal methods for software architectures : 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
Formal methods for eternal networked software systems : advanced lectures
Formal methods for quantitative aspects of programming languages : advanced lectures
Unifying theories of programming and formal engineering methods : advanced lectures
Lectures on formal methods and performance analysis : revised lectures
Lectures on advanced computational methods in mechanics