Let us wish you a happy birthday!
Date of Birth
Please fill in a complete birthday Enter a valid birthday
×
The Way of Z Practical Programming with Formal Methods by Jonathan Jacky - Paperback
402.00 EGP

The Way of Z Practical Programming with Formal Methods by Jonathan Jacky - Paperback

Be the first to rate this product 

402.00 EGP 

  - You Save -402.00 EGP
All prices include VAT  Details
Category Type
Software Engineering
ISBN
9780521559768
Author
Jonathan Jacky
Publisher
Cambridge University Press
Description:

This book is a self-contained tutorial on Z, a formal notation for modeling, specifying and designing computer systems and software, for experienced professionals and serious students in programming and software engineering. It presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer ...

Ship to Cairo (Change city)
Delivered within Tuesday, Dec 17 - Thursday, Dec 19 to Cairo
Only 3 left in stock!

Condition:
New
Sold by:
FirstEdition-1ED (88% Positive Rating)

PRODUCT INFORMATION

  •  

    Specifications

    Category Type
    Software Engineering
    ISBN
    9780521559768
    Number of Pages
    372
    Publication Year
    1996
    Category Type
    Software Engineering
    ISBN
    9780521559768
    Number of Pages
    372
    Publication Year
    1996
    Product weight
    0.64 kg
    Book Origin
    United Kingdom
    Item EAN
    2724456810515
    People
    Author
    Jonathan Jacky
    People
    Publisher
    Cambridge University Press
    Technical Information
    Binding
    Paperback
    Languages and countries
    Book Language
    English
    Read more
  •  

    Description:

    This book is a self-contained tutorial on Z, a formal notation for modeling, specifying and designing computer systems and software, for experienced professionals and serious students in programming and software engineering. It presents realistic case studies emphasizing safety-critical systems,

    This book is a self-contained tutorial on Z, a formal notation for modeling, specifying and designing computer systems and software, for experienced professionals and serious students in programming and software engineering. It presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.

    Product Features:
    • Category Type: Software Engineering
    • Author: Jonathan Jacky
    • ISBN: 9780521559768
    • Binding: Paperback
    • Book Language: English
    • Publisher: Cambridge University Press
    • Number of Pages: 372 pages
    • Dimensions: 25.3 x 17.7 x 2 cm
    • Publication Year: 1996
    • Product Weight: 0.64 kg
    • Book Origin: United Kingdom
 

Customer Reviews

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

Sponsored products for you

×

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