Name: The way of z Paperback: Practical Programming With Formal Methods
SKU: 2553132
Price: 1681.00 ZAR
Availability: InStock
Author: Jonathan Jacky
ISBN: 9780521559768

Select your country

Americas

Europe

Rest of the world

portada The way of z Paperback: Practical Programming With Formal Methods

The way of z Paperback: Practical Programming With Formal Methods

Type

Physical Book

Publisher

Cambridge University Press

Author

Jonathan Jacky

Year

1996

Language

English

Pages

370

Format

Paperback

Weight

1.30

ISBN

0521559766

ISBN13

9780521559768

Edition No.

Synopsis "The way of z Paperback: Practical Programming With Formal Methods "

This self-contained tutorial on Z 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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

The way of z Paperback: Practical Programming With Formal Methods - Jonathan Jacky

Synopsis "The way of z Paperback: Practical Programming With Formal Methods "

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery