1 Ebooks tarafından 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 …
PDF
İngilizce
DRM
€57.14
