Items related to The VDM-SL Reference Guide
Synopsis
The readership will not just consist of programmers. It will also appeal to system designers, to customers wishing to specify their requirements, to evaluators of systems, and to lecturers and software engineering students. In short, anyone who wants to read a VDM specification More...with understanding. 2nd/3rd year computer science courses, particularly software engineering. It is anticipated as the first book on the new BSI/ISO standard for VDM, the author is secretary to BSI committee and the VD is the leading European formal method in practice. The use of formal methods of system specification and design, (ie methods based on mathematical principles) is spreading out from the specialised areas of extremely high reliability (security and life-critical systems), as the advantages of unambiguous specification and verifiable design are becoming more and more widely appreciated. This increased use is paralleled by the growth of the infrastructure of computer-based tools, books, courses, conferences, and standardisation efforts. The Vienna Development Method is a formal method for the specification and design of systems. It was devised in the IBM Vienna laboratory. It is the leading general purpose formal method in Europe - its only serious rival is Z from the programming research group at Oxford. This book forms a comprehensive and accessible reference to the features, methodology and application of the BSI/ISO standard for VDM.
"synopsis" may belong to another edition of this title.
Search results for The VDM-SL Reference Guide
Stock Image
The VDM-SL Reference Guide
Published by
Pitman Publishing, London, 1991
ISBN 10: 0273031511
ISBN 13: 9780273031512
Used
Paperback
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Paperback. Superficial scuffs and scratches on front and rear. Minor edgewear. Page block has a few light marks. Contents are sound, clean, clear. BW. Used. Seller Inventory # 278439
Quantity: 1 available
Stock Image
The VDM-SL Reference Guide
Seller: Lady Lisa's Bookshop, Chester, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Used: Acceptable. Paperback - 1991 - good condition - - used books, secondhand books, out of print books, hard to find books, for sale, second-hand books, college books, student books, nonfiction, first edition, exlibrary books sold, signed copies, non-fiction books delivered world wide. 0-273-03151-1. Isbn 0273031511. Seller Inventory # 115
Quantity: 1 available
Stock Image
The Vdm-sl Reference Guide
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-153317
Quantity: 1 available
Stock Image
The Vdm-sl Reference Guide
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-333627
Quantity: 1 available
Stock Image
The VDM-SL Reference Guide
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: Used. pp. 200 1st Edition. Seller Inventory # 262462966
Quantity: 1 available
Stock Image
The VDM-SL Reference Guide
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: Used. pp. 200. Seller Inventory # 5385001
Quantity: 1 available
Stock Image
The VDM-SL Reference Guide
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: Used. pp. 200. Seller Inventory # 182462972
Quantity: 1 available