SPIN (Computer file) - Books


Click a book link to view all the available details:

· Spin Model Checking and Software Verification: 7th International Spin Workshop Stanford, Ca, Usa, August 30-September 1, 2000 Proceedings (Lecture Notes in Computer Science, 1885)


Return To Main Computer Book IndexSearch Our Entire Computer Book Catalog