Let us wish you a happy birthday!
Date of Birth
Please fill in a complete birthday Enter a valid birthday
×
This item is currently out of stock
Using Z Specification, Refinement, and Proof by Jim Woodcock - Paperback
Be the first to rate this product 
×
Check Products in stock Products in stock

Sponsored products for you

PRODUCT INFORMATION

  •  

    Specifications

    Category Type
    Computer Engineering
    ISBN
    9780139484728.0
    Item EAN
    2724322623836
    People
    Author
    Jim Woodcock and Jim Davies
    People
    Publisher
    Prentice Hall
    Category Type
    Computer Engineering
    ISBN
    9780139484728.0
    Item EAN
    2724322623836
    People
    Author
    Jim Woodcock and Jim Davies
    People
    Publisher
    Prentice Hall
    Languages and countries
    Book Language
    English
    Read more
  •  

    Description:

    This book contains enough material for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Z notation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code;

    This book contains enough material for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Z notation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies. The essentials of specification, refinement and proof are covered, revealing techniques never previously published.


    Product Features :
    • Binding : Paperback

    • Language of Text : English

    • Publication Year : 2000

    • Number of Pages : 386

    • Author : Jim Woodcock and Jim Davies

    • Publisher : Prentice Hall

    • ISBN : 9780139484728

    • Dimensions : 23 x 17 x 2 cm
 

Customer Reviews

0
No ratings yet
Be the first to rate this product
Rate this product:

×

Please verify your mobile number to complete your checkout

We will send you an SMS containing a verification code. Please double check your mobile number and click on "Send Verification Code".

+ Edit