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

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

Name: Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
Rating: 4.8 (11 reviews)
Author: Alessandro Cimatti (auth.), Jaco van de Pol, Michael Weber (eds.)

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

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

ISBN: 9783642161636

Publisher: Springer-Verlag Berlin Heidelberg

Year: 2010

Publisher Edition (Original Quality)

User Rating: (0.0):

File Size

2.04 MB

Pages

271.0

Price: 6.99€

Description

Introduction to the book Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings The book Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings, written by Deffieux and Descamps, is considered one of the most important works in its field. This book contains valuable and useful content that is highly suitable for those interested in this subject.

About the book Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings By drawing on the authors' experience and knowledge, this work provides readers with comprehensive and practical information.

Experience downloading the book Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings through the Cyber Uni website.

Best Selling Books