Search Results

Teaching Notes (second Version) for Systematic Software Development Using VDM

Download or Read eBook Teaching Notes (second Version) for Systematic Software Development Using VDM PDF written by Cliff Bryn Jones and published by . This book was released on 1986 with total page 113 pages. Available in PDF, EPUB and Kindle.
Teaching Notes (second Version) for Systematic Software Development Using VDM
Author :
Publisher :
Total Pages : 113
Release :
ISBN-10 : OCLC:17648683
ISBN-13 :
Rating : 4/5 (83 Downloads)

Book Synopsis Teaching Notes (second Version) for Systematic Software Development Using VDM by : Cliff Bryn Jones

Book excerpt:


Teaching Notes (second Version) for Systematic Software Development Using VDM Related Books

Teaching Notes (second Version) for Systematic Software Development Using VDM
Language: en
Pages: 113
Authors: Cliff Bryn Jones
Categories: Computer science literature
Type: BOOK - Published: 1986 - Publisher:

DOWNLOAD EBOOK

Systematic Software Development Using VDM
Language: en
Pages: 6
Authors: B.S. Hansen
Categories:
Type: BOOK - Published: 1990 - Publisher:

DOWNLOAD EBOOK

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
Language: en
Pages: 724
Authors: Soren Prehn
Categories: Computers
Type: BOOK - Published: 1991-10-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The proceedings of the fourth Vienna Development Method Symposium, VDM'91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252)
Verification: Theory and Practice
Language: en
Pages: 798
Authors: Nachum Dershowitz
Categories: Computers
Type: BOOK - Published: 2004-02-24 - Publisher: Springer

DOWNLOAD EBOOK

This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 resear
FME '93: Industrial-Strength Formal Methods
Language: en
Pages: 712
Authors: Jim Woodcock
Categories: Business & Economics
Type: BOOK - Published: 1993 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and rea
Scroll to top