Record: found
Abstract: not found
Book Chapter: not found

ZUM ’98: The Z Formal Specification Notation 

Select Z Bibliography

other

Author(s): Jonathan P. Bowen

Publication date (Print): 1998

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 405

Record: found
Abstract: not found
Book: not found

The B-Book

J. Abrial, A Hoare, Pierre Chapron (2010)

0 comments Cited 176 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

A specifier's introduction to formal methods

J.M. Wing (1990)

0 comments Cited 45 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

The specification statement

Carroll Morgan (1988)

0 comments Cited 38 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1998

Pages: 367-406

DOI: 10.1007/978-3-540-49676-2_24

SO-VID: f02af148-dc48-4458-ada1-9bbe566bddb8

History

Data availability:

Select Z Bibliography

Read this book at

Related collections

Studia z Filologii Polskiej i Słowiańskiej

Most cited references 405

The B-Book

A specifier's introduction to formal methods

The specification statement

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 924

Cited by 1