An edition of The Way of Z (1996)

Way of Z

Practical Programming with Formal Methods

  • 2 Want to read
Way of Z
Jonathan Jacky, Jonathan Jacky
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today

  • 2 Want to read

Buy this book

Last edited by ImportBot
November 18, 2022 | History
An edition of The Way of Z (1996)

Way of Z

Practical Programming with Formal Methods

  • 2 Want to read

This edition doesn't have a description yet. Can you add one?

Publish Date
Language
English

Buy this book

Previews available in: English

Edition Availability
Cover of: Way of Z
Way of Z: Practical Programming with Formal Methods
2011, Cambridge University Press
in English
Cover of: Way of Z
Way of Z: Practical Programming with Formal Methods
2010, Cambridge University Press
in English
Cover of: The way of Z
The way of Z: practical programming with formal methods
1997, Cambridge University Press
in English
Cover of: The Way of Z
The Way of Z: Practical Programming with Formal Methods
November 28, 1996, Cambridge University Press
Paperback in English
Cover of: The Way of Z
The Way of Z: Practical Programming with Formal Methods
November 28, 1996, Cambridge University Press
Hardcover in English

Add another edition?

Book Details


ID Numbers

Open Library
OL40381300M
ISBN 13
9780511888472

Source records

Better World Books record

Excerpts

Formal methods apply logic and simple mathematics to programming.
added anonymously.

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
November 18, 2022 Created by ImportBot Imported from Better World Books record