Dams, Dennis

“Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, … (Lecture Notes in Computer Science, 1680)” has been added to your cart. View cart

Showing the single result

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, … (Lecture Notes in Computer Science, 1680)
$2,079.00 Add to cart

Download Category Catalog