willem paul de roever
Formal Methods for Components and Objects
EbookSofort lieferbarThis book presents 12 revised lectures given by top-researchers at the 5th International Symposiu...
Formal Methods for Components and Objects
EbookSofort lieferbarThis book presents 19 revised invited keynote lectures and revised tutorial lectures given at the...
Formal Methods for Components and Objects
EbookSofort lieferbarFormal methods have been applied successfully to the verification of medium-sized programs in pro...
Formal Methods for Components and Objects
EbookSofort lieferbarFormal methods have been applied successfully to the verification of medium-sized programs in pro...
Programming Concepts and Methods PROCOMET ’98
EbookSofort lieferbarThis book constitutes the Proceedings of the IFIP Working Conference PRO COMET'98, held 8-12 Jun...
Formal Methods for Components and Objects
EbookSofort lieferbarLargeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to ...
Formal Methods for Components and Objects
EbookSofort lieferbarFormal methods have been applied successfully to the verification of medium-sized programs in pro...
Compositionality: The Significant Difference
EbookSofort lieferbarThis book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad...
Formal Techniques in Real-Time and Fault-Tolerant Systems
TaschenbuchBezug 11-15This volume presents the proceedings of the Third International Symposium on Formal Techniques in...
Stepwise Refinement of Distributed Systems
TaschenbuchBezug 11-15The stepwise refinement method postulates a system construction route that starts with a high-lev...
Programming Concepts and Methods PROCOMET ’98
BuchBezug 11-15This book constitutes the Proceedings of the IFIP Working Conference PRO COMET'98, held 8-12 June...
Current Trends in Concurrency
TaschenbuchBezug 11-15Computer science in industry.- Dataflow and education: Data-driven and demand-driven distributed ...
- 1
- 2