1 E-böcker av 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 …
PDF
Engelska
DRM
€57.14
