Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3) - Tapa dura
The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications.
"Sinopsis" puede pertenecer a otra edición de este libro.
Críticas:
"The book is very well written and accurate, and the graphics are good." Computing Reviews
"The reader finds a well written book on a special rather technical topic...As such it is valuable for those who seek to understand the language Z in more detail..." Zentralblatt fur Mathematik
Reseña del editor:
"The reader finds a well written book on a special rather technical topic...As such it is valuable for those who seek to understand the language Z in more detail..." Zentralblatt fur Mathematik
The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications. Z is compared with other methods such as VDM and CLEAR, and in the final chapter, a number of studies in Z style are presented to show that Z can be used in a wide variety of specification tasks. This book will appeal to those who wish to deepen their understanding of the mathematical background of the Z method, those who want a concise definition of the language, and those interested in the design of specification languages.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialCambridge University Press
- Año de publicación1988
- ISBN 10 0521334292
- ISBN 13 9780521334297
- EncuadernaciónTapa dura
- Número de páginas144
Comprar nuevo
Ver este artículo
EUR 71,82
Gastos de envío:
EUR 3,74
A Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen de archivo
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Publicado por
Cambridge University Press
(1988)
ISBN 10: 0521334292
ISBN 13: 9780521334297
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Hardcover. Condición: new. New. Fast Shipping and good customer service. Nº de ref. del artículo: Holz_New_0521334292
Comprar nuevo
EUR 71,82
Convertir moneda
Imagen de archivo
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Publicado por
Cambridge University Press
(1988)
ISBN 10: 0521334292
ISBN 13: 9780521334297
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Hardcover. Condición: new. New Copy. Customer Service Guaranteed. Nº de ref. del artículo: think0521334292
Comprar nuevo
EUR 72,39
Convertir moneda
Imagen de archivo
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Publicado por
Cambridge University Press
(1988)
ISBN 10: 0521334292
ISBN 13: 9780521334297
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Hardcover. Condición: new. New. Nº de ref. del artículo: Wizard0521334292
Comprar nuevo
EUR 73,14
Convertir moneda
Imagen de archivo
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Publicado por
Cambridge University Press
(1988)
ISBN 10: 0521334292
ISBN 13: 9780521334297
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: new. Nº de ref. del artículo: FrontCover0521334292
Comprar nuevo
EUR 72,53
Convertir moneda
Imagen de archivo
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Publicado por
Cambridge University Press
(1988)
ISBN 10: 0521334292
ISBN 13: 9780521334297
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Hardcover. Condición: New. STORED NEW PRISTINE CONDITION SANITIZED THEN WRAPPED. Book. Nº de ref. del artículo: ABE-1668279885051
Comprar nuevo
EUR 77,01
Convertir moneda
Imagen de archivo
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science)
Publicado por
Cambridge University Press
(1988)
ISBN 10: 0521334292
ISBN 13: 9780521334297
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Hardcover. Condición: New. Nº de ref. del artículo: Abebooks123848
Comprar nuevo
EUR 80,86
Convertir moneda
Imagen de archivo
UNDERSTANDING Z: A SPECIFICATION
Publicado por
Cambridge University Press
(1988)
ISBN 10: 0521334292
ISBN 13: 9780521334297
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. New. In shrink wrap. Looks like an interesting title! 0.88. Nº de ref. del artículo: Q-0521334292
Comprar nuevo
EUR 81,58
Convertir moneda