Book PDf: Model checking
Description
Introduction to the book Model checking The book Model checking, 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 By drawing on the authors' experience and knowledge, this work provides readers with comprehensive and practical information.
Experience downloading the book Model checking through the Cyber Uni website.
Best Selling Books
Multivariable Computer-Controlled Systems: A Transfer Function Approach (Communications and Control...
Author:
Efim N. Rosenwasser,...
Year:
2006
Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004,...
Author:
Maxim D. Peysakhov,...
Year:
2005
Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1...
Author:
David Kitchin, Adrian...
Year:
2009