ZB 2002: formal specification and development in Z and B

2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings

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

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

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

Buy this book

Last edited by MARC Bot
November 14, 2023 | History

ZB 2002: formal specification and development in Z and B

2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings

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

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

Publish Date
Publisher
Springer
Language
English
Pages
534

Buy this book

Previews available in: English

Book Details


Edition Notes

Includes bibliographical references.

Published in
Berlin
Series
Lecture notes in computer science,, 2272
Genre
Congresses.

Classifications

Library of Congress
QA76.73.B155 I58 2002, QA76.758

The Physical Object

Pagination
xii, 534 p. :
Number of pages
534

ID Numbers

Open Library
OL3579541M
Internet Archive
zb2002formalspec0000inte
ISBN 10
3540431667
LCCN
2002265533
OCLC/WorldCat
48928623, 50581638
Goodreads
4426167

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 14, 2023 Edited by MARC Bot import existing book
January 14, 2023 Edited by ImportBot import existing book
May 14, 2022 Edited by ImportBot import existing book
February 25, 2022 Edited by ImportBot import existing book
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record