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 Book Condition: Good. May have some shelf-wear due to normal use. All pages are intact. Bookseller Inventory # 0KVBKH002LVY
Book Description Prentice-Hall, 1990. Paperback. Book Condition: Good. Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing Science) This book is in good or better condition. It has no tears to the pages and no pages will be missing from the book. The spine of the book is still in great condition and the front cover is generally unmarked. It has signs of previous use but overall is in really nice, tight condition. Shipping is normally same day from our UK warehouse. We offer a money back guarantee if you are not satisfied. Bookseller Inventory # 9053-9780138807337
Book Description Prentice Hall, 1990. Paperback. Book Condition: Used: Good. Bookseller Inventory # SONG0138807337
Book Description Prentice-Hall, 1990. Paperback. Book Condition: Used; Good. Ships from the UK within 24 hours. Bookseller Inventory # BBI2051646
Book Description Prentice-Hall 01/01/1990, 1990. Book Condition: Good. Will be shipped promptly from UK warehouse. Book is in good condition with no missing pages, no damage or soiling and tight spine. There may be some dog-eared pages showing previous use but overall a great book. Bookseller Inventory # 9053-9780138807337
Book Description Prentice-Hall 01/01/1990, 1990. Book Condition: used-good. - GREAT BOOK IN GOOD OR BETTER CONDITION, NORMALLY SENT SAME DAY FROM WAREHOUSE. Bookseller Inventory # 7719-9780138807337
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 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, 01.04.1990., 1990. Book Condition: Gut. Auflage: 2 Sub. 350 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 396 23,2 x 17,4 x 1,8 cm, Taschenbuch. Bookseller Inventory # 377358
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