1 द्वारा ईबुक 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
अंग्रेज़ी
DRM
€57.61
