An edition of Formal Specification and Documentation Using Z (1996)

Formal Specification and Documentation Using Z

A Case Study Approach

by

  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Formal Specification and Documentation Using Z by Jonathan Bowen
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
  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
October 18, 2022 | History
Edit
An edition of Formal Specification and Documentation Using Z (1996)

Formal Specification and Documentation Using Z

A Case Study Approach

by

  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read

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

Publish Date
Publisher
Intl Thomson Computer Pr (Sd)
Language
English
Pages
302

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Z (Computer program language), System design, Computer software, Development, Software documentation, Z (Langage de programmation), Conception de systèmes, Logiciels, Documentation, Z (computer program language)

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Formal Specification and Documentation Using Z
Formal Specification and Documentation Using Z: A Case Study Approach
February 1996, Intl Thomson Computer Pr (Sd)
Paperback in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Classifications

Library of Congress
QA76.73.Z2 B68 1996

The Physical Object

Format
Paperback
Number of pages
302
Dimensions
9.5 x 6.2 x 0.8 inches
Weight
13.6 ounces

ID Numbers

Open Library
OL11919585M
Internet Archive
formalspecificat00bowe
ISBN 10
1850322309
ISBN 13
9781850322306
OCLC/WorldCat
34763106
Library Thing
6298555

Source records

Internet Archive item record
Better World Books record
Promise Item

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
October 18, 2022 Edited by ImportBot import existing book
September 24, 2022 Edited by ImportBot import existing book
December 11, 2009 Created by WorkBot add works page