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 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 Book Condition: Good. May have some shelf-wear due to normal use. Bookseller Inventory # 0KVBKH003I5Z
Book Description Prentice-Hall, 1990. Paperback. Book Condition: Used; Good. Ships from the UK within 24 hours. Bookseller Inventory # BBI2051646
Book Description -. Paperback. Book Condition: Very Good. Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing Science) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Bookseller Inventory # 7719-9780138807337
Book Description Prentice-Hall 01/01/1990, 1990. Book Condition: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee. Bookseller Inventory # 6545-9780138807337
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 # FPS0138807337VG
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. 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: Used: Good. Bookseller Inventory # 14696691