AddALL.com - Understanding Formal Methods (FACIT) 1852332476 9781852332471

Don't forget to bookmark this web site !!

Used & Out of Print Books | Contact us | Home

Browse and Compare Price at 40+ Sites and 20,000+ Stores!!

Find more info., search and price compare for
Understanding Formal Methods (FACIT)
by Jean-Francois Monin
Binding: Paperback, 1 edition, 276 pages
Publisher: Springer
Weight: 0.97 pound
Dimension: H: 0.63 x L: 9.13 x W: 5.98 inches
ISBN 10: 1852332476
ISBN 13: 9781852332471
Click here to search for this book and compare price at 40+ bookstores with AddALL.com!

If you cannot find this book in our new and in print search, be sure to try our used and out of print search too!

Book Description:
This volume provides a comprehensive introduction to the field of formal methods for students and practitioners. It strikes a careful balance between rigorous exposition of the underlying mathematics and concrete examples of implementations using real life tools, thus making it easy to grasp the underlying concepts and theories. It does not aim to provide guidelines for using a particular method, or comparisons of different approaches, but rather a conceptual framework that the reader can use to master any given method. It therefore makes an invaluable practical companion to introductory texts on logic and to books dedicated to a particular formal method. Understanding Formal Methods will be of interest to advanced students and engineers who need to learn the basics of this topic, and also professionals who need to broaden their knowledge or bring themselves up to date with the latest techniques.

Shipping Destination:
State: (US only)
Display in:
Search by:


Searching for Out of Print Books? [Click Here]

[ For web hosting, AddALL recommend Liquidweb]