Practical Formal Methods with VDM

Practical Formal Methods with VDM
Author :
Publisher : McGraw-Hill Companies
Total Pages : 492
Release :
ISBN-10 : UOM:39015024774856
ISBN-13 :
Rating : 4/5 (56 Downloads)

Book Synopsis Practical Formal Methods with VDM by : Derek Andrews

Download or read book Practical Formal Methods with VDM written by Derek Andrews and published by McGraw-Hill Companies. This book was released on 1991 with total page 492 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Practical Formal Methods with VDM Related Books

Practical Formal Methods with VDM
Language: en
Pages: 492
Authors: Derek Andrews
Categories: Computers
Type: BOOK - Published: 1991 - Publisher: McGraw-Hill Companies

DOWNLOAD EBOOK

Formal Methods Fact File
Language: en
Pages: 416
Authors: Andrew Harry
Categories: Computers
Type: BOOK - Published: 1996-10-10 - Publisher:

DOWNLOAD EBOOK

Formal Methods Fact File VDM and Z Andrew Harry Formal methods provide a means of specifying computer systems that is unambiguous,concise and well suited to the
The Practice of Formal Methods
Language: en
Pages: 337
Authors: Ana Cavalcanti
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Learning by Doing
Language: en
Pages: 20
Authors: Peter Gorm Larsen
Categories: Computer-aided software engineering
Type: BOOK - Published: 2006 - Publisher:

DOWNLOAD EBOOK

Concise Guide to Formal Methods
Language: en
Pages: 336
Authors: Gerard O'Regan
Categories: Mathematics
Type: BOOK - Published: 2017-08-08 - Publisher: Springer

DOWNLOAD EBOOK

This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods ac