1 Ebooks by John Penix
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
Inggeris
DRM
€58.04
