Z: An Introduction to Formal Methods Tapa blanda - 1994
de Antoni Diller
A thorough and comprehensive tutorial introduction to Z. The author uses case studies to vividly illustrate all aspects of Z. With practical exercises and clear descriptions and explanations throughout, this updated edition will be required reading for all students and software engineers learning Z.
Primera línea
Z is a language, but knowing this does not tell you very much about it because there are many different kinds of language, such as natural language and programming language.
Descripción de contraportada
Z An Introduction to Formal Methods Second Edition Antoni Diller University of Birmingham Now that formal methods are seen as a necessary and beneficial theoretical tool for systems designers and programmers, this book offers a thorough and comprehensive tutorial introduction to Z taking as its starting point the practical use of this formal specification language. Case studies are used to illustrate all aspects of Z and are introduced early on in order to motivate the mathematical notations that have to be covered. Standard notation is used throughout. Many proofs are included and they are presented using the commonest format for natural deduction proofs. With exercises given and clear descriptions and explanations provided, this book is required reading for students and post-experience software engineers learning Z. Enhancements to this edition are more exercises, information on how to relate Z specifications to actual program code, and amendments so that the book is in line with the current language standards.
Detalles
- Título Z: An Introduction to Formal Methods
- Autor Antoni Diller
- Encuadernación Tapa blanda
- Edición 2nd
- Páginas 400
- Volúmenes 1
- Idioma ENG
- Editorial Wiley, West Sussex, England
- Fecha de publicación 1994-07-19
- Features Bibliography
- ISBN 9780471939733 / 0471939730
- Peso 1.4 libras (0.64 kg)
- Dimensiones 9.67 x 6.61 x 0.85 pulgadas (24.56 x 16.79 x 2.16 cm)
- Library of Congress subjects Formal methods (Computer science), Z (Computer program language)
- Número de catálogo de la Librería del Congreso de EEUU 94004943
- Dewey Decimal Code 005.12
Más ejemplares
Z 2e: An Introduction to Formal Methods
de Diller, Antoni
- Usado
- very good
- Tapa blanda
- Estado
- Usado - Very Good
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9780471939733 / 0471939730
- Cantidad disponible
- 2
- Librería
-
GORING BY SEA, West Sussex, United Kingdom
- Precio
-
EUR 1.77EUR 10.09 enviando a USA
Mostrar detalles
Z : An Introduction to Formal Methods
de Diller, Antoni
- Usado
- Estado
- Used - Good
- ISBN 10 / ISBN 13
- 9780471939733 / 0471939730
- Cantidad disponible
- 5
- Librería
-
Dunfermline, Fife, United Kingdom
- Precio
-
EUR 5.89EUR 9.40 enviando a USA
Mostrar detalles
Z : An Introduction to Formal Methods
de Diller, Antoni
- Usado
- Estado
- Used - Very Good
- ISBN 10 / ISBN 13
- 9780471939733 / 0471939730
- Cantidad disponible
- 1
- Librería
-
Dunfermline, Fife, United Kingdom
- Precio
-
EUR 5.89EUR 9.40 enviando a USA
Mostrar detalles
Z: An Introduction to Formal Methods
de Diller, Antoni
- Nuevo
- Tapa blanda
- Estado
- New
- Edición
- 2nd Edition.
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9780471939733 / 0471939730
- Cantidad disponible
- 1
- Librería
-
Highland Park, Illinois, United States
- Precio
-
EUR 43.22EUR 2.82 enviando a USA
Mostrar detalles
Z: An Introduction to Formal Methods
de Antoni Diller
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9780471939733 / 0471939730
- Cantidad disponible
- 10
- Librería
-
Southport, Merseyside, United Kingdom
- Precio
-
EUR 68.30EUR 11.71 enviando a USA
Mostrar detalles
Z: An Introduction to Formal Methods
de Antoni Diller
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9780471939733 / 0471939730
- Cantidad disponible
- 10
- Librería
-
Southport, Merseyside, United Kingdom
- Precio
-
EUR 77.81EUR 11.71 enviando a USA
Mostrar detalles
Z � An Introduction to Formal Methods 2e
de Diller, Antoni
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9780471939733 / 0471939730
- Cantidad disponible
- 1
- Librería
-
Exeter, Devon, United Kingdom
- Precio
-
EUR 87.18EUR 11.77 enviando a USA
Mostrar detalles
Z: An Introduction to Formal Methods
de Diller, Antoni
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9780471939733 / 0471939730
- Cantidad disponible
- 1
- Librería
-
San Diego, California, United States
- Precio
-
EUR 81.55EUR 5.12 enviando a USA
Mostrar detalles
Z: An Introduction to Formal Methods
de Diller, Antoni
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9780471939733 / 0471939730
- Cantidad disponible
- 5
- Librería
-
campbelltown, Florida, United States
- Precio
-
EUR 176.63EUR 9.40 enviando a USA
Mostrar detalles
Z : An Introduction to Formal Methods
de Antoni Diller
- Nuevo
- Estado
- New
- ISBN 10 / ISBN 13
- 9780471939733 / 0471939730
- Cantidad disponible
- 3
- Librería
-
Woodside, New York, United States
- Precio
-
EUR 195.00EUR 3.75 enviando a USA