Some orders may be delayed by the current Coronavirus lockdown.
Visit our help page for further information.
Computation Engineering: Formal Specification and Verification Methods (Hardback)
  • Computation Engineering: Formal Specification and Verification Methods (Hardback)
zoom

Computation Engineering: Formal Specification and Verification Methods (Hardback)

(author)
£54.00
Hardback 400 Pages / Published: 01/03/2006
  • Not available

This product is currently unavailable

This product is currently unavailable.

  • This item has been added to your basket
Many textbooks on formal methods and verification do an excellent job of discussing theory - often at the loss of providing examples. "Computation Engineering: Formal Specification and Verification Methods" presents formal methods with a concentration on practical applications, thus acting as a fast-track introduction to modern formal specification and verification tools and techniques. By using a wide array of puzzles, problems, industry case studies, and a variety of varification tools, students have the opportunity to learn from experience rather than rote memorization. In using this textbook, students are asked to design protocols, discover properties to state, and thus learn what exactly the whole process of formal verification involves. By inventing new concurrent protocols and then proving them correct, they are saved from simply re-visiting standard protocols, instead learning to think through the process for themselves. By using actual examples, students learn why certain methods work well, what they are lacking, and how to compare and contrast methods. Thus, they learn how to think rather than what to think.

Publisher: Springer-Verlag New York Inc.
ISBN: 9780387244198
Number of pages: 400

You may also be interested in...

Artificial Intelligence: The Basics
Added to basket
IT Architecture For Dummies
Added to basket
Machine Learning
Added to basket
Introducing Artificial Intelligence
Added to basket
The Elements of Computing Systems
Added to basket
The Singularity Is Near
Added to basket
The Lego Architect
Added to basket
£20.99
Hardback
The Elements of Statistical Learning
Added to basket
Portfolio, programme and project offices
Added to basket
Don't Make Me Think, Revisited
Added to basket
Business Analysis Techniques
Added to basket
Rocket Surgery Made Easy
Added to basket

Please sign in to write a review

Your review has been submitted successfully.