1 E-böcker av Willem Visser
Klaus Havelund & John Penix: SPIN Model Checking and Software Verification
The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?cation of asynchronous concurrent and di …
PDF
Engelska
DRM
€58.04
