Auteur: Robert Gerth

Ondersteuning

1 Ebooks door Robert Gerth

Dennis Dams & Robert Gerth: Theoretical and Practical Aspects of SPIN Model Checking
Increasing the designer’s con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many app …
PDF
Engels
DRM
€57.61