Formal Methods: State of the Art and New Directions

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Programming, Software Development, General Computing
Cover of the book Formal Methods: State of the Art and New Directions by , Springer London
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9781848827363
Publisher: Springer London Publication: December 4, 2009
Imprint: Springer Language: English
Author:
ISBN: 9781848827363
Publisher: Springer London
Publication: December 4, 2009
Imprint: Springer
Language: English

Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and a diverse breadth of specialist material.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and a diverse breadth of specialist material.

More books from Springer London

Cover of the book Modern Management of Cancer of the Rectum by
Cover of the book Mobile Persuasion Design by
Cover of the book Valvular Heart Disease in Clinical Practice by
Cover of the book Using Game Theory to Improve Safety within Chemical Industrial Parks by
Cover of the book Research in Clinical Practice by
Cover of the book Controversies in Obesity by
Cover of the book Knowledge Asset Management by
Cover of the book Multivariate Statistical Process Control by
Cover of the book Multicore Programming Using the ParC Language by
Cover of the book Atlas of Percutaneous Edge-to-Edge Mitral Valve Repair by
Cover of the book Starting to Read ECGs by
Cover of the book Childbirth Trauma by
Cover of the book Cardiac CT Angiography Manual by
Cover of the book Interfaces in Total Hip Arthroplasty by
Cover of the book Social Media on the Road by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy