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

Specification of Software Systems
Language: en
Pages: 646
Authors: V.S. Alagar
Categories: Computers
Type: BOOK - Published: 2011-03-28 - Publisher: Springer

DOWNLOAD EBOOK

This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphas
Formal Software Development
Language: en
Pages: 0
Authors: Quentin Charatan
Categories: Computers
Type: BOOK - Published: 2003-09-09 - Publisher: Red Globe Press

DOWNLOAD EBOOK

This gently-paced software engineering text concentrates on the use of formal methods for the development of high integrity software. The book contains examples