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 Clinical Urologic Endocrinology by
Cover of the book Atlas of the Patellofemoral Joint by
Cover of the book Structured Controllers for Uncertain Systems by
Cover of the book Diagnostic Techniques in Urology by
Cover of the book Right Ventricular Hypertrophy and Function in Chronic Lung Disease by
Cover of the book Learning Cardiac Auscultation by
Cover of the book Evolutionary Game Design by
Cover of the book Anterior Knee Pain and Patellar Instability by
Cover of the book Inheritance Relationships for Disciplined Software Construction by
Cover of the book 3-D Atlas of Stars and Galaxies by
Cover of the book Data Mining Techniques in Sensor Networks by
Cover of the book Reproductive Surgery in Assisted Conception by
Cover of the book Complex Analysis by
Cover of the book The Human Adrenal Cortex by
Cover of the book Lattice Boltzmann Method 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