Items related to Formal Methods Fact File: VDM and Z (Wiley Series in...
Synopsis
This book presents a novel view of formal methods, spanning the range of specification techniques. It provides a short overview of formal methods and detailed chapters on the two most popular languages, VDM and Z.
"synopsis" may belong to another edition of this title.
From the Back Cover
Formal methods provide a means of specifying computer systems that is unambiguous, concise and well suited to the development of complex software systems for which accuracy and reliability are critical. Heavily mathematical and seemingly difficult to learn, for many they hold little appeal. Andrew Harry speaks as a programmer who has travelled the difficult route to an understanding of formal methods techniques, and knows why it?s worth the effort. He explains, in refreshingly simple terms, what formal methods are, why we need them, what should motivate our choice of methods and how to use them effectively. The book presents a novel view of formal methods, spanning the range of specification techniques. An overview of the different styles of formal notation is followed by detailed chapters on the two most popular languages, VDM and Z, consistent with the latest draft standards. There is a readable account of the underlying maths, a short introduction to semantics for proof, and a survey of tools available. Teaching aids include quick reference appendices on the notation and syntax of VDM and Z; exercises (and their solutions); and a useful glossary of terms. A more populist account than most, this book?s "informal" treatment of the subject will appeal to students and industrial programmers who want to know more but find little on the shelves for the novice.
"About this title" may belong to another edition of this title.
Search results for Formal Methods Fact File: VDM and Z (Wiley Series in...
Seller Image
Formal Methods Fact File: VDM and Z (Wiley Series in Software Engineering Practice)
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Seller Inventory # OTV.0471958573.G
Stock Image
Formal Methods Fact File: VDM and Z (Wiley Series in Software Engineering Practice)
Seller: AwesomeBooks, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Formal Methods Fact File: VDM and Z (Wiley Series in Software Engineering Practice) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. . Seller Inventory # 7719-9780471958574
Buy Used
£ 45.83
£ 4.12 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Formal Methods Fact File: VDM and Z (Wiley Series in Software Engineering Practice)
Seller: Bahamut Media, Reading, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Seller Inventory # 6545-9780471958574
Buy Used
£ 45.79
£ 6.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Formal Methods Fact File: VDM and Z
Published by
John Wiley & Sons, Inc., 1997
ISBN 10: 0471958573
ISBN 13: 9780471958574
Used
Paperback
Seller: Optimon Books, Gravesend, KENT, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Good. Formal methods provide a means of specifying computer systems that is unambiguous, concise and well suited to the development of complex software systems for which accuracy and reliability are critical. Heavily mathematical and seemingly difficult to learn, for many they hold little appeal. Andrew Harry speaks as a programmer who has travelled the difficult route to an understanding of formal methods techniques, and knows why it?s worth the effort. He explains, in refreshingly simple terms, what formal methods are, why we need them, what should motivate our choice of methods and how to use them effectively. The book presents a novel view of formal methods, spanning the range of specification techniques. An overview of the different styles of formal notation is followed by detailed chapters on the two most popular languages, VDM and Z, consistent with the latest draft standards. There is a readable account of the underlying maths, a short introduction to semantics for proof, and a survey of tools available. Teaching aids include quick reference appendices on the notation and syntax of VDM and Z; exercises (and their solutions); and a useful glossary of terms. A more populist account than most, this book?s informal treatment of the subject will appeal to students and industrial programmers who want to know more but find little on the shelves for the novice. Copyright © John Wiley & Sons, Inc. Seller Inventory # 478892
Buy Used
£ 36.99
£ 18 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available