Practical Formal Methods with Vdm (Mcgraw Hill International Series in Software Engineering)

0 avg rating
( 0 ratings by GoodReads )
 
9780077072148: Practical Formal Methods with Vdm (Mcgraw Hill International Series in Software Engineering)

This book reflects the increased amount of emphasis placed on the mathematical methods of software development in undergraduate computer science courses. The VDM notation is described in detail, with each chapter starting with an Overview/Motivation Section. It then goes on to summarize the syntax of the VDM used. Objectives and aims are stated and the progress of the student is judged by self-assessment procedures.

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

Top Search Results from the AbeBooks Marketplace

1.

Andrews, Derek; Ince, Darrel
Published by Mcgraw-Hill College (1991)
ISBN 10: 0077072146 ISBN 13: 9780077072148
Used Quantity Available: 1
Seller
Better World Books
(Mishawaka, IN, U.S.A.)
Rating
[?]

Book Description Mcgraw-Hill College, 1991. Book Condition: Very Good. N/A. Former Library book. Great condition for a used book! Minimal wear. Bookseller Inventory # GRP74598343

More Information About This Seller | Ask Bookseller a Question

Buy Used
2.81
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

2.

Andrews, Derek; Ince, Darrel
Published by Mcgraw-Hill College
ISBN 10: 0077072146 ISBN 13: 9780077072148
Used Paperback Quantity Available: 1
Seller
Sierra Nevada Books
(Reno, NV, U.S.A.)
Rating
[?]

Book Description Mcgraw-Hill College. Paperback. Book Condition: Fair. Bookseller Inventory # G0077072146I5N00

More Information About This Seller | Ask Bookseller a Question

Buy Used
3.24
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

3.

Andrews, Derek; Ince, Darrel
Published by Mcgraw-Hill College (1991)
ISBN 10: 0077072146 ISBN 13: 9780077072148
Used Quantity Available: 2
Seller
Better World Books Ltd
(Dunfermline, United Kingdom)
Rating
[?]

Book Description Mcgraw-Hill College, 1991. Book Condition: Good. N/A. Ships from the UK. Former Library book. Shows some signs of wear, and may have some markings on the inside. Bookseller Inventory # GRP90068561

More Information About This Seller | Ask Bookseller a Question

Buy Used
0.81
Convert Currency

Add to Basket

Shipping: 2.98
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Andrews, Derek; Ince, Darrel
Published by McGraw-Hill Publishing Co. (1991)
ISBN 10: 0077072146 ISBN 13: 9780077072148
Used Paperback Quantity Available: 1
Seller
Bookbarn International
(Bristol, SOM, United Kingdom)
Rating
[?]

Book Description McGraw-Hill Publishing Co., 1991. Paperback. Book Condition: Used; Good. Ships from the UK within 24 hours. Bookseller Inventory # BBI1980447

More Information About This Seller | Ask Bookseller a Question

Buy Used
2.79
Convert Currency

Add to Basket

Shipping: 2
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

Andrews, Derek; Ince, Darrel
ISBN 10: 0077072146 ISBN 13: 9780077072148
Used Quantity Available: 1
Seller
Castle Rock
(Pittsford, NY, U.S.A.)
Rating
[?]

Book Description Book Condition: Good. Book Condition: Good. Bookseller Inventory # 97800770721484.0

More Information About This Seller | Ask Bookseller a Question

Buy Used
6.77
Convert Currency

Add to Basket

Shipping: 3.13
Within U.S.A.
Destination, Rates & Speeds

6.

Andrews, Derek; Ince, Darrel
ISBN 10: 0077072146 ISBN 13: 9780077072148
Used Quantity Available: 1
Seller
Castle Rock
(Pittsford, NY, U.S.A.)
Rating
[?]

Book Description Book Condition: Very Good. Book Condition: Very Good. Bookseller Inventory # 97800770721483.0

More Information About This Seller | Ask Bookseller a Question

Buy Used
6.84
Convert Currency

Add to Basket

Shipping: 3.13
Within U.S.A.
Destination, Rates & Speeds

7.

Andrews, Derek; Ince, Darrel
Published by Mcgraw-Hill College (1991)
ISBN 10: 0077072146 ISBN 13: 9780077072148
Used Paperback Quantity Available: 1
Seller
Booked Again
(Summit, NJ, U.S.A.)
Rating
[?]

Book Description Mcgraw-Hill College, 1991. Paperback. Book Condition: Good. Good condition, some are ex-library and can have markings. Bookseller Inventory # GD-004-64-3752003

More Information About This Seller | Ask Bookseller a Question

Buy Used
16.74
Convert Currency

Add to Basket

Shipping: 7.86
Within U.S.A.
Destination, Rates & Speeds

8.

Andrews, Derek; Ince, Darrel
Published by Mcgraw-Hill College (1991)
ISBN 10: 0077072146 ISBN 13: 9780077072148
Used Paperback Quantity Available: 1
Seller
Booked Again
(Summit, NJ, U.S.A.)
Rating
[?]

Book Description Mcgraw-Hill College, 1991. Paperback. Book Condition: Very Good. Very good. Bookseller Inventory # HH-004-64-3752003

More Information About This Seller | Ask Bookseller a Question

Buy Used
19.74
Convert Currency

Add to Basket

Shipping: 7.86
Within U.S.A.
Destination, Rates & Speeds

9.

Andrews, Derek; Ince, Darrel
Published by McGraw-Hill Companies (1991)
ISBN 10: 0077072146 ISBN 13: 9780077072148
Used Paperback Quantity Available: 1
Seller
dsmbooks
(liverpool, United Kingdom)
Rating
[?]

Book Description McGraw-Hill Companies, 1991. Paperback. Book Condition: As New. As New. book. Bookseller Inventory # F4S7-9-Z-0077072146-5

More Information About This Seller | Ask Bookseller a Question

Buy Used
65.63
Convert Currency

Add to Basket

Shipping: 4.10
From United Kingdom to U.S.A.
Destination, Rates & Speeds