dennis dams
Concurrency, Compositionality, and Correctness
EbookSofort lieferbarThis Festschrift volume, published in honor of Willem-Paul de Roever, contains 19 detailed papers...
FM 2009: Formal Methods
EbookSofort lieferbarThis book presents the refereed proceedings of FM 2009, the 16th International Symposium on Forma...
Theoretical and Practical Aspects of SPIN Model Checking
EbookSofort lieferbarIncreasing the designer's con dence that a piece of software or hardwareis c- pliant with its spe...
Theoretical and Practical Aspects of SPIN Model Checking
TaschenbuchBezug 11-15Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its spe...
FM 2009: Formal Methods
TaschenbuchBezug 11-15This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Forma...
- 1