A practical guide to software development using DVM, a mathematically based technique for formal specification and correctness reasoning. This edition uses BSI (draft) standard VDM notation, emphasizes the formal approach to specification and design and explains formal proofs for data types.
"synopsis" may belong to another edition of this title.
Book Description Prentice-Hall, 1990. Paperback. Book Condition: Good. Sent within 24 hours. Expedited UK delivery available. Bookseller Inventory # BBI2051646
Book Description Book Condition: Good. May have some shelf-wear due to normal use. Bookseller Inventory # 0KVBKH003I5Z
Book Description Paperback. Book Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Bookseller Inventory # GOR001510392
Book Description Prentice-Hall, 1990. Paperback. Book Condition: Very Good. Previous owner's name & date in ink on front free endpaper sticker residue on cover Book internally very good 350 pages. Bookseller Inventory # 587314
Book Description Pearson Education Limited 1990-01-01, 1990. Book Condition: Very Good. All books are pre-owned and will have been read by someone else before you. They may well show signs of minor wear and tear. Please note, cover images are illustrative only, and the actual book cover and edition can vary. Bookseller Inventory # 9780138807337-21
Book Description Prentice Hall, United Kingdom, 1990. Soft cover. Book Condition: Good. No Jacket. 8vo - over 7¾ - 9¾" tall. Second edition, circa 1990 - print runs 3 to 5 and 91 to 94 stated. Medium size soft back book. Ex library with usual stamps and labels. White and orangey/ red covers with black lettering. Part of the 'Prentice Hall International Series in Computer Science' - more titles listed to frontispiece. Comprises: foreword to the first edition; preface; 12 chapters; appendices; bibliography; indexes. Xiv plus 333 pages. Text is clean. Binding is quite tight but spine leans. Covers show some wear - discoloured with bumped corners, a few surface marks and rubbed edges. #247.14. Bookseller Inventory # 008699
Book Description Prentice Hall, 1990. Paperback. Book Condition: Good. Good condition, some are ex-library and can have markings. Bookseller Inventory # GD-006-73-7338107
Book Description Prentice Hall, 1990. Paperback. Book Condition: Very Good. Very good. Bookseller Inventory # HH-006-73-7338107