Understanding Formal Methods

Author	: Jean-Francois Monin
Publisher	: Springer Science & Business Media
Total Pages	: 288
Release	: 2012-12-06
ISBN-10	: 9781447100430
ISBN-13	: 1447100433
Rating	: 4/5 (30 Downloads)

DOWNLOAD EBOOK

Book Synopsis Understanding Formal Methods by : Jean-Francois Monin

Download or read book Understanding Formal Methods written by Jean-Francois Monin and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 288 pages. Available in PDF, EPUB and Kindle. Book excerpt: This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, giving the reader all the information needed to explore the field of formal methods in more detail. It offers: a guide to the mathematics required; comprehensive but easy-to-understand introductions to various methods; a run-down of how formal methods can help to develop high-quality systems that come in on time, within budget, and according to requirements.

Understanding Formal Methods Related Books

Language: en
Pages: 288

Understanding Formal Methods

Authors: Jean-Francois Monin

Categories: Computers

Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, givin

Language: en
Pages: 234

Practical TLA+

Authors: Hillel Wayne

Categories: Computers

Type: BOOK - Published: 2018-10-11 - Publisher: Apress

DOWNLOAD EBOOK

Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ pr

Language: en
Pages: 702

Algorithms in C.

Authors: Robert Sedgewick

Categories: Computers

Type: BOOK - Published: 2001 - Publisher: Addison-Wesley Professional

DOWNLOAD EBOOK

This text aims to provide an introduction to graph algorithms and data structures and an understanding of the basic properties of a broad range of fundamental g

Language: en
Pages: 290

Formal Methods: State of the Art and New Directions

Authors: Paul Boca

Categories: Computers

Type: BOOK - Published: 2009-12-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and va

Language: en
Pages: 480

Applications of Formal Methods

Authors: Michael Gerard Hinchey

Categories: Computers

Type: BOOK - Published: 1995 - Publisher:

DOWNLOAD EBOOK

This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.