Proof in VDM: Case Studies (Formal Approaches to Computing and Information Technology (FACIT))

0 avg rating
( 0 ratings by Goodreads )
 
9783540761860: Proof in VDM: Case Studies (Formal Approaches to Computing and Information Technology (FACIT))
View all copies of this ISBN edition:
 
 

Not so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in industry. Today however, the industrial application of formal methods is becoming increasingly common in a variety of application areas, particularly those with a safety, security or financially critical aspects. Furthermore, in situations where a particularly high level of assurance is required, formal proof is broadly accepted as being of value. Perhaps the major benefit of formalisation is that it enables formal symbolic manip­ ulation of elements of a design and hence can provide developers with a variety of analyses which facilitate the detection of faults. Proof is just one of these possible formal activities, others, such as test case generation and animation, have also been shown to be effective bug finders. Proof can be used for both validation and verifi­ cation. Validation of a specification can be achieved by proving formal statements conjectured about the required behaviours of the system. Verification of the cor­ rectness of successive designs can be achieved by proof of a prescribed set of proof obligations generated from the specifications.

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

Buy New View Book
List Price: US$ 139.00
US$ 78.00

Convert currency

Shipping: US$ 4.69
From India to U.S.A.

Destination, rates & speeds

Add to Basket

Other Popular Editions of the Same Title

9781447115335: Proof in VDM: Case Studies

Featured Edition

ISBN 10:  1447115333 ISBN 13:  9781447115335
Publisher: Springer, 2011
Softcover

Top Search Results from the AbeBooks Marketplace

1.

ISBN 10: 3540761861 ISBN 13: 9783540761860
New Paperback Quantity Available: 1
Seller:
Delhi Book Store
(New delhi, DEL, India)
Rating
[?]

Book Description Paperback. Condition: New. We offer 100% Customer Satisfaction. Books Shipped within 24 hours from our Warehouse. We use Regular 4 to 14 days delivery and FEDEX / DHL & TNT COURIER with delivery time of 7 to 10 days.". Seller Inventory # dbs_1_9783540761860

More information about this seller | Contact this seller

Buy New
US$ 78.00
Convert currency

Add to Basket

Shipping: US$ 4.69
From India to U.S.A.
Destination, rates & speeds

2.

Juan C. Bicarregui (Editor)
Published by Springer (1998)
ISBN 10: 3540761861 ISBN 13: 9783540761860
New Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 1998. Paperback. Condition: New. Seller Inventory # DADAX3540761861

More information about this seller | Contact this seller

Buy New
US$ 101.14
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

3.

Bicarregui, Juan C.
Published by Springer (2016)
ISBN 10: 3540761861 ISBN 13: 9783540761860
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540761860_lsuk

More information about this seller | Contact this seller

Buy New
US$ 115.17
Convert currency

Add to Basket

Shipping: US$ 5.08
From United Kingdom to U.S.A.
Destination, rates & speeds

4.

Published by Springer
ISBN 10: 3540761861 ISBN 13: 9783540761860
New Quantity Available: 1
Seller:
Majestic Books
(London, ,, United Kingdom)
Rating
[?]

Book Description Springer. Condition: New. pp. 226. Seller Inventory # 5768981

More information about this seller | Contact this seller

Buy New
US$ 115.53
Convert currency

Add to Basket

Shipping: US$ 7.22
From United Kingdom to U.S.A.
Destination, rates & speeds

5.

Bicarregui, Juan C.
ISBN 10: 3540761861 ISBN 13: 9783540761860
New Quantity Available: 1
Seller:
Paperbackshop-US
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description 1998. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Seller Inventory # KS-9783540761860

More information about this seller | Contact this seller

Buy New
US$ 118.78
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

6.

Published by Springer (1998)
ISBN 10: 3540761861 ISBN 13: 9783540761860
New Softcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Springer, 1998. Condition: New. book. Seller Inventory # M3540761861

More information about this seller | Contact this seller

Buy New
US$ 140.97
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

7.

JUAN C. BICARREGUI
Published by Springer (1998)
ISBN 10: 3540761861 ISBN 13: 9783540761860
New Paperback Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 1998. Paperback. Condition: NEW. 9783540761860 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0344592

More information about this seller | Contact this seller

Buy New
US$ 130.56
Convert currency

Add to Basket

Shipping: US$ 10.48
From United Kingdom to U.S.A.
Destination, rates & speeds

8.

J. Bicarregui
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (1997)
ISBN 10: 3540761861 ISBN 13: 9783540761860
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 1997. PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # LQ-9783540761860

More information about this seller | Contact this seller

Buy New
US$ 135.45
Convert currency

Add to Basket

Shipping: US$ 11.82
From United Kingdom to U.S.A.
Destination, rates & speeds

9.

ISBN 10: 3540761861 ISBN 13: 9783540761860
New Quantity Available: 5
Seller:
ReadWhiz
(Portland, OR, U.S.A.)
Rating
[?]

Book Description Condition: New. Seller Inventory # ria9783540761860_ing

More information about this seller | Contact this seller

Buy New
US$ 151.37
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

10.

Published by Springer (1998)
ISBN 10: 3540761861 ISBN 13: 9783540761860
New Softcover Quantity Available: 15
Print on Demand
Seller:
Rating
[?]

Book Description Springer, 1998. Condition: New. This item is printed on demand for shipment within 3 working days. Seller Inventory # LP9783540761860

More information about this seller | Contact this seller

Buy New
US$ 151.27
Convert currency

Add to Basket

Shipping: US$ 3.23
From Germany to U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book