Top 890 susan stanford friedman editor PDF Book Page 36

book image

SPIN Model Checking and Software Verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings

Dragan Bošnački, Dennis Dams, Leszek Holenderski (auth.), Klaus Havelund, John Penix, Willem Visser (eds.)
·352 Pages
·2000
·2.805 MB

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.