Formal Methods Fact File: VDM and Z (Wiley Series in Software Engineering Practice)

Harry, Andrew

ISBN 10: 0471940062 / ISBN 13: 9780471940067

Verlag: Wiley, 1996

Beschreibung

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!

Bestandsnummer des Verkäufers S_346798065

Bibliografische Details

• Titel: Formal Methods Fact File: VDM and Z (Wiley Series in Software Engineering Practice)
• Verlag: Wiley
• Erscheinungsjahr: 1996
• Sprache: Englisch
• ISBN-10: 0471940062
• ISBN-13: 9780471940067
• Einband: Paperback
• Zustand: Good

Über diesen Titel

Inhaltsangabe

This introductory text demonstrates how formal methods allow the more accurate specification and design of software systems. The book explains what formal methods are; why we need them; what should motivate our choice of methods; and how to use them effectively. Its overview of the different styles of formal notation is used as a framework for a more detailed discussion of VDM and Z, based on the latest draft standards of these languages. Exercises (and their solutions) and an extensive glossary are also included as teaching aids.