Name: z user workshop, cambridge 1994: proceedings of the eighth z user meeting, cambridge, 29 - 30 june 1994
Price: 983.00 ZAR
Availability: InStock
Author: Bowen, J. P. ; Hall, J. a.
ISBN: 9783540198840

portada z user workshop, cambridge 1994: proceedings of the eighth z user meeting, cambridge, 29 - 30 june 1994

z user workshop, cambridge 1994: proceedings of the eighth z user meeting, cambridge, 29 - 30 june 1994

Type

Physical Book

Illustrated by

J. P. Bowen

J. a. Hall

Publisher

Springer

Author

Bowen, J. P. ; Hall, J. a.

Year

1994

Language

English

Pages

405

Format

Paperback

Dimensions

23.4 x 15.6 x 2.2 cm

Weight

0.59 kg.

ISBN

3540198849

ISBN13

9783540198840

Synopsis "z user workshop, cambridge 1994: proceedings of the eighth z user meeting, cambridge, 29 - 30 june 1994"

This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particular reference to practical application. These issues include education, standards, tool support, and interaction with other design paradigms such as consideration of real-time and object-oriented approaches to development. Among the actual topics covered are: the formal specification in Z of Defence Standard 00-56; formal specification of telephone features; specifying and interpreting class hierarchies in Z; and software quality assurance using the SAZ method. Z User Workshop, Cambridge 1994 provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students and also potential industrial users of Z.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

z user workshop, cambridge 1994: proceedings of the eighth z user meeting, cambridge, 29 - 30 june 1994 - Bowen, J. P. ; Hall, J. a.

Synopsis "z user workshop, cambridge 1994: proceedings of the eighth z user meeting, cambridge, 29 - 30 june 1994"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery