An edition of Systematic software development using VDM (1986)

Systematic software development using VDM

2nd ed

by

Cover of: Systematic software development using VDM by Jones, C. B., Jones, C. B.
Preview
Borrow

My Reading Lists:

Create a new list

Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
August 18, 2020 | History
Edit
An edition of Systematic software development using VDM (1986)

Systematic software development using VDM

2nd ed

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Prentice Hall International
Language
English
Pages
333

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Computer software, Development, Computer software, development
Edition Availability
Cover of: Systematic software development using VDM
Systematic software development using VDM
1990, Prentice Hall International
in English - 2nd ed
Cover of: Systematic software development using VDM
Systematic software development using VDM
1990, Prentice Hall
in English - 2nd ed.
Cover of: Systematic software development using VDM
Systematic software development using VDM
1986, Prentice Hall International
in English

Add another edition?

Book Details

Edition Notes

Includes index

Includes bibliographical references (p. 321-322)

Published in
New York
Series
Prentice Hall international series in computer science, Prentice-Hall international series in computer science

Classifications

Library of Congress
QA76.76.D47 J66 1990, QA76.76.D47 J66 1989, QA76.76.D47J66 1989

The Physical Object

Pagination
xiv, 333 p. ;
Number of pages
333

Edition Identifiers

Open Library
OL16691511M
Internet Archive
systematicsoftwa0000jone
ISBN 10
0138807337
LCCN
89039812
LibraryThing
1356392
Goodreads
1363018

Work Identifiers

Work ID
OL4802090W

Source records

Better World Books record
Library of Congress MARC record
Internet Archive item record
Promise Item

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
August 18, 2020 Edited by ImportBot import existing book
December 3, 2010 Edited by Open Library Bot Added subjects from MARC records.
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
December 10, 2009 Created by WorkBot add works page