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...
Programming Concepts and Methods PROCOMET ¿98
BuchBezug 16-20This book constitutes the Proceedings of the IFIP Working Conference PRO COMET'98, held 8-12 June...
Concurrency Verification
BuchBezug 16-20This is a systematic and comprehensive introduction both to compositional proof methods for the s...
Concurrency Verification
TaschenbuchBezug 16-20An advanced 2001 textbook on verification of concurrent programs using a semantic approach which ...
- 1
- 2