Boeken van Willem Visser
Klaus Havelund
John Penix
Willem Visser
SPIN Model Checking and Software Verification
€ 60,99
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?
Meer
Willem Visser€ 33,95
Klaus Havelund€ 60,99
Willem Visser€ 27,90