An edition of Software development with Z (1992)

Software development with Z

a practical approach to formal methods in software engineering

  • 1 Want to read
Locate

My Reading Lists:

Create a new list


  • 1 Want to read

Buy this book

Last edited by ImportBot
March 28, 2025 | History
An edition of Software development with Z (1992)

Software development with Z

a practical approach to formal methods in software engineering

  • 1 Want to read

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

Publish Date
Language
English
Pages
334

Buy this book

Book Details


Edition Notes

Includes bibliographical references (p. 321-324) and index.

Published in
Wokingham, England, Reading, Mass
Series
International computer science series

Classifications

Dewey Decimal Class
005.1/2
Library of Congress
QA76.73.Z2 W67 1992

The Physical Object

Pagination
xii, 334 p. :
Number of pages
334

Edition Identifiers

Open Library
OL1713683M
ISBN 10
0201627574
LCCN
92015874
OCLC/WorldCat
25872826
LibraryThing
195748
Goodreads
5931438

Work Identifiers

Work ID
OL2789914W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
March 28, 2025 Edited by ImportBot Redacting ocaids
July 21, 2024 Edited by MARC Bot import existing book
December 4, 2022 Edited by ImportBot import existing book
November 5, 2022 Edited by ImportBot import existing book
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record