Konferenzschrift | Kongress
Lectures on formal methods and performance analysis : revised lectures
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540424796
3540424792
- Dimensions
-
24 cm
- Extent
-
VI, 429 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 2090
- Keyword
-
Leistungsbewertung
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
2001
- Contributor
-
Brinksma, Ed
European Educational Forum
Summerschool on Formal Methods and Performance Analysis (2000 : Berg en Dal)
- 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:05 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
- Brinksma, Ed
- European Educational Forum
- Summerschool on Formal Methods and Performance Analysis (2000 : Berg en Dal)
- Springer
Time of origin
- 2001
Other Objects (12)
Formal methods for performance evaluation : advanced lectures
Formal methods for the design of real time systems : revised lectures
Formal methods for components and objects : 7th international symposium ; revised lectures
Formal methods for components and objects : third international symposium ; revised lectures
Formal methods for components and objects : 4th international symposium ; revised lectures
Formal methods for components and objects : 11th international symposium ; revised lectures
Formal methods for components and objects : first international symposium ; revised lectures
Formal methods for components and objects : 5th international symposium ; revised lectures
Advanced lectures on machine learning : revised lectures
Advanced lectures on machine learning : revised lectures
Formal methods for software architectures : advanced lectures
Formal methods for web services : advanced lectures
Formal methods for performance evaluation : advanced lectures
Formal methods for the design of real time systems : revised lectures
Formal methods for components and objects : 7th international symposium ; revised lectures
Formal methods for components and objects : third international symposium ; revised lectures
Formal methods for components and objects : 4th international symposium ; revised lectures
Formal methods for components and objects : 11th international symposium ; revised lectures
Formal methods for components and objects : first international symposium ; revised lectures
Formal methods for components and objects : 5th international symposium ; revised lectures
Advanced lectures on machine learning : revised lectures
Advanced lectures on machine learning : revised lectures
Formal methods for software architectures : advanced lectures
Formal methods for web services : advanced lectures
Formal methods for performance evaluation : advanced lectures
Formal methods for the design of real time systems : revised lectures
Formal methods for components and objects : 7th international symposium ; revised lectures
Formal methods for components and objects : third international symposium ; revised lectures
Formal methods for components and objects : 4th international symposium ; revised lectures
Formal methods for components and objects : 11th international symposium ; revised lectures
Formal methods for components and objects : first international symposium ; revised lectures
Formal methods for components and objects : 5th international symposium ; revised lectures
Advanced lectures on machine learning : revised lectures
Advanced lectures on machine learning : revised lectures
Formal methods for software architectures : advanced lectures