Penulis: Mieke Massinek

Dukung

1 Ebooks oleh Mieke Massinek

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
Inggris
DRM
€57.61