Proof in VDM: A Practitioner’s Guide

Name: Proof in VDM: A Practitioner’s Guide
SKU: 13899599
Price: 139.99 AUD
Availability: InStock

By:

Format:

Paperback / softback

Series:

Formal Approaches to Computing and Information Technology (FACIT)

Show Hide Adult Content

$139.99

RRP:: ~~$172.95~~ save $32.96

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

4 payments of $35.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 11-21 June using International Courier

Description

This manual examines the practical aspects of using and constructing proofs in the specification and development of computing systems. The reader is guided through the elements of proof construction with the help of numerous worked examples. The techniques can be applied to specification and development in a range of formalisms, and are illustrated using the logic and the basic data types of the VDM specification language. The construction of theorems and proofs from actual specifications and refinements is also described, and a detailed case study, including several refinement steps, shows how formal proofs can be used in practice. In addition, the book contains a directory of axioms and formally proved theorems.

Release date Australia

December 1st, 1993

Author

Audiences

Postgraduate, Research & Scholarly
Professional & Vocational

Edition

Softcover reprint of the original 1st ed. 1994

Illustrations

XVI, 362 p.

Pages

362

Series

Formal Approaches to Computing and Information Technology (FACIT)

Dimensions

155x235x20

ISBN-13

9783540198130

Product ID

13899599

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here