Systematic Software Development Using Vdm (Prentice-hall International Series in Computer Science)

Jones, Cliff B.

2.67 out of 5 stars

9 ratings by Goodreads

ISBN 10: 0138807337 ISBN 13: 9780138807337

Published by Prentice-Hall, 1990

Language: English

Condition: Used - Very good Soft cover

Save for Later

Sold by Buchpark, Trebbin, Germany

AbeBooks Seller since September 30, 2021

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

Used - Soft cover

Condition: Used - Very good

Price: US$ 22.63 Convert Currency

US$ 52.61 shipping from Germany to U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

Zustand: Gut | Seiten: 350 | Sprache: Englisch | Produktart: B�cher.

Seller Inventory # 38615772/3

Contact seller

Report this item

Bibliographic Details

Title

Systematic Software Development Using Vdm (Prentice-hall International Series in Computer Science)

Publisher

Prentice-Hall

Publication Date

1990

Language

English

ISBN 10

0138807337

ISBN 13

9780138807337

Binding

Soft cover

Condition

Gut

Seller catalogs

B�cher

About this title

Synopsis

A practical guide to software development using VDM, 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.

"About this title" may belong to another edition of this title.

Store Description

Seit �ber 30 Jahren handeln wir mit B�chern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter B�cher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen B�cher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderb�cher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten B�chern oder Haushaltsaufl�sungen kaufen wir bundesweit komplette Bibliotheken und Buchbest�nde von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die M�glichkeit, gro�e Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbest�nde werden von uns professionell auf Qualit�tsmerkmale hin untersucht und sorgf�ltig f�r den Onlinehandel aufbereitet. Wir schenken B�chern ein zweites Leben.

Visit Seller's Storefront

Seller's business information

Buchpark GmbH
Kr�gerweg 1, Trebbin, 14959, Germany

Sale & Shipping Terms

Terms of Sale

Shipping Terms

Shipping rates from Germany to U.S.A.

Shipping rates from Germany to U.S.A.
Order quantity	59 to 60 business days	58 to 59 business days
First item	US$ 52.61	US$ 87.68

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.