ebook img

Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings PDF

271 Pages

2010

3.571 MB

English

by Alessandro Cimatti (auth.), Jaco van de Pol, Michael Weber (eds.)

Checking for file health...

The list of books you might like

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