VDM '88. VDM - the Way Ahead

VDM '88. VDM - the Way Ahead
Author :
Publisher :
Total Pages : 516
Release :
ISBN-10 : 3662183161
ISBN-13 : 9783662183168
Rating : 4/5 (168 Downloads)

Book Synopsis VDM '88. VDM - the Way Ahead by : Robin E. Bloomfield

Download or read book VDM '88. VDM - the Way Ahead written by Robin E. Bloomfield and published by . This book was released on 2014-01-15 with total page 516 pages. Available in PDF, EPUB and Kindle. Book excerpt:


VDM '88. VDM - the Way Ahead Related Books

VDM '88. VDM - the Way Ahead
Language: en
Pages: 516
Authors: Robin E. Bloomfield
Categories:
Type: BOOK - Published: 2014-01-15 - Publisher:

DOWNLOAD EBOOK

VDM '88. VDM - The Way Ahead
Language: en
Pages: 516
Authors: Robin E. Bloomfield
Categories: Computer science
Type: BOOK - Published: 1988 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a fo
Methods and Applications of Singular Perturbations
Language: en
Pages: 522
Authors: Roger B. Jones
Categories: Mathematics
Type: BOOK - Published: 1988 - Publisher: Springer

DOWNLOAD EBOOK

Contains well-chosen examples and exercises A student-friendly introduction that follows a workbook type approach
Proof in VDM: Case Studies
Language: en
Pages: 236
Authors: Juan C. Bicarregui
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Not so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in industry. Today however, the industr
Software Engineer's Reference Book
Language: en
Pages: 1137
Authors: John A McDermid
Categories: Technology & Engineering
Type: BOOK - Published: 2013-10-22 - Publisher: Elsevier

DOWNLOAD EBOOK

Software Engineer's Reference Book provides the fundamental principles and general approaches, contemporary information, and applications for developing the sof