1 Електронні книги від 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
Англійська
DRM
€58.04
