An edition of The Way of Z (1996)

The way of Z

practical programming with formal methods

by

  • 2 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: The way of Z by 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
Notes
  • 2 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
August 4, 2020 | History
Edit
An edition of The Way of Z (1996)

The way of Z

practical programming with formal methods

by

  • 2 Want to read
  • 0 Currently reading
  • 0 Have read

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

Publish Date
Publisher
Cambridge University Press
Language
English
Pages
350

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Formal methods (Computer science), Z (Computer program language), Z (computer program language)

Showing 5 featured editions. View all 5 editions?

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

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. [328]-339) and index.

Published in
Cambridge, New York, NY, USA

Classifications

Dewey Decimal Class
005.1/2
Library of Congress
QA76.73.Z2 J33 1997

The Physical Object

Pagination
xviii, 350 p. :
Number of pages
350

ID Numbers

Open Library
OL976419M
Internet Archive
wayzpracticalpro00jona
ISBN 10
0521550416, 0521559766
LCCN
96013537
Library Thing
195761
Goodreads
1522370
2033404

Source records

Internet Archive item 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
August 4, 2020 Edited by ImportBot import existing book
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
February 13, 2010 Edited by WorkBot add more information to works
December 10, 2009 Created by WorkBot add works page