An edition of Software prototyping, formal methods, and VDM (1988)

Software prototyping, formal methods, and VDM

by

  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Software prototyping, formal methods, and VDM by Sharam Hekmatpour, Sharam Hekmatpour
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 23, 2024 | History
Edit
An edition of Software prototyping, formal methods, and VDM (1988)

Software prototyping, formal methods, and VDM

by

  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

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

Publish Date
Publisher
Addison-Wesley
Language
English
Pages
222

Check nearby libraries

Buy this book

Subjects

Computer software, Development, Formal methods (Computer science)

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Software prototyping, formal methods, and VDM
Software prototyping, formal methods, and VDM
1988, Addison-Wesley
in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Bibliography: p. 138-153.
Includes index.

Published in
Wokingham, Eng, Reading, MA
Series
International computer science series

Classifications

Dewey Decimal Class
005.1/1
Library of Congress
QA76.76.D47 H45 1988

The Physical Object

Pagination
x, 222 p. ;
Number of pages
222

ID Numbers

Open Library
OL2042628M
ISBN 10
020117572X
LCCN
88019400
OCLC/WorldCat
508010119
Library Thing
8591384
Goodreads
1457227

Source records

Library of Congress MARC record
Promise Item
marc_columbia MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
July 23, 2024 Edited by MARC Bot import existing book
February 3, 2024 Edited by ImportBot import existing book
November 8, 2020 Edited by MARC Bot import existing book
July 31, 2010 Edited by IdentifierBot added LibraryThing ID
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record