Formal Methods: State of the Art and New Directions
Editat de Paul Boca, Jonathan P. Bowen, Jawed Siddiqien Limba Engleză Paperback – 20 oct 2014
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 632.58 lei 6-8 săpt. | |
SPRINGER LONDON – 20 oct 2014 | 632.58 lei 6-8 săpt. | |
Hardback (1) | 637.92 lei 6-8 săpt. | |
SPRINGER LONDON – 22 dec 2009 | 637.92 lei 6-8 săpt. |
Preț: 632.58 lei
Preț vechi: 790.72 lei
-20% Nou
Puncte Express: 949
Preț estimativ în valută:
121.08€ • 125.85$ • 100.29£
121.08€ • 125.85$ • 100.29£
Carte tipărită la comandă
Livrare economică 05-19 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781447157458
ISBN-10: 1447157451
Pagini: 300
Ilustrații: XXV, 273 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.42 kg
Ediția:2010
Editura: SPRINGER LONDON
Colecția Springer
Locul publicării:London, United Kingdom
ISBN-10: 1447157451
Pagini: 300
Ilustrații: XXV, 273 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.42 kg
Ediția:2010
Editura: SPRINGER LONDON
Colecția Springer
Locul publicării:London, United Kingdom
Public țintă
ResearchCuprins
Domain Engineering.- Program Verification and System Dependability.- The Abstract State Machines Method for High-Level System Design and Analysis.- Applications and Methodology of ?Z.- The Computer Ate My Vote.- Formal Methods for Biochemical Signalling Pathways.- Separation Logic and Concurrency.- Programming Language Description Languages.
Textul de pe ultima copertă
The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.
Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods in the areas of requirements, design, modelling and implementation, verification and validation. The self-contained chapters are views from experts in these areas, providing readers with rich background information and a diverse breadth of specialist material.
This authoritative collection of views provides a snapshot of the field and will be of considerable interest to researchers and professionals seeking a perspective on fundamental underpinnings of formal methods and current hot topics in the field.
The website www.fmsand.info is a useful resource, providing material associated with the book and links to further related information.
Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods in the areas of requirements, design, modelling and implementation, verification and validation. The self-contained chapters are views from experts in these areas, providing readers with rich background information and a diverse breadth of specialist material.
This authoritative collection of views provides a snapshot of the field and will be of considerable interest to researchers and professionals seeking a perspective on fundamental underpinnings of formal methods and current hot topics in the field.
The website www.fmsand.info is a useful resource, providing material associated with the book and links to further related information.
Caracteristici
Chapters are supplemented with presentation slides which will be available on a dedicated website