• Home >
  • Buy >
  • Harry Andrews >

  • Formal Methods Fact File by Andrew Harry (1996, Hardcover, Illustrated)

Formal Methods Fact File by Andrew Harry (1996, Hardcover, Illustrated) 
Formal Methods Fact File by Andrew Harry (1996, Hardcover, Illustrated)

 
Formal Methods Fact File by Andrew Harry (1996, Hardcover, Illustrated)

Author: Andrew Harry
Publisher: John Wiley & Sons Inc
Publication Date: 1996-11-01
Series: Wiley Series in Software Engineering Practice
Language: English
Format: Hardcover
ISBN-10: 0471940062
ISBN-13: 9780471940067
Product ID: EPID890629
Save this productSell oneWrite a review
Portions of this page Copyright 1995 - 2009 Muze Inc. All rights reserved.
Preferences
Distance
Please enter valid zipcode.
Please select a valid popular city.
Please enter valid zipcode or select a valid popular city.
Within miles of ZIP
0 results|Group by condition
We're sorry; currently there are no listings available for this product. However, click the Save this product link above and when listings are available we'll send you an email.
Details
Publication Date:1996-11-01
Series:Wiley Series in Software Engineering Practice
Edition Description:Illustrated

Size
Length:386 pages
Height:9.8 in
Width:7.8 in
Thickness:1.2 in
Weight:34.4 oz

Publisher's Note
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.

See an error? Submit a change request

    About eBay | Announcements | Security Center | Resolution Center | eBay Toolbar | Policies | Government Relations | Site Map | Help
    Copyright © 1995-2009 eBay Inc. All Rights Reserved. Designated trademarks and brands are the property of their respective owners. Use of this Web site constitutes acceptance of the eBay User Agreement and Privacy Policy.
    eBay official time

    Error
    We're sorry, but there's been an error.
    Please try again.