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 An Atlas of Rectal Endosonography by
Cover of the book Music and Human-Computer Interaction by
Cover of the book Finite Element Analysis for Satellite Structures by
Cover of the book Pediatric Endourology Techniques by
Cover of the book Modern Management of Cancer of the Rectum by
Cover of the book Tumours of the Nervous System by
Cover of the book A Proof Theory for Description Logics by
Cover of the book Female Pelvic Reconstructive Surgery by
Cover of the book Rickham's Neonatal Surgery by
Cover of the book Manufacturing Scheduling Systems by
Cover of the book Dermatology in Clinical Practice by
Cover of the book The Heart and Stroke by
Cover of the book Fundamental Techniques in Pulmonary and Oesophageal Surgery by
Cover of the book Distributed-Order Dynamic Systems by
Cover of the book Practical Carotid Artery Stenting 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