Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science)

4 valoración promedio
( 1 valoraciones por Goodreads )
 
9780521334297: Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science)
Ver todas las copias de esta edición ISBN.
 
 

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 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.

Los mejores resultados en AbeBooks

1.

Spivey, J. M.
Publicado por Cambridge University Press (1988)
ISBN 10: 0521334292 ISBN 13: 9780521334297
Nuevo Tapa dura Cantidad disponible: 2
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 1988. Hardcover. Condición: New. Never used!. Nº de ref. del artículo: P110521334292

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 49,11
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 1,62
A Estados Unidos de America
Destinos, gastos y plazos de envío

2.

J. M. Spivey
Publicado por Cambridge University Press (1988)
ISBN 10: 0521334292 ISBN 13: 9780521334297
Nuevo Tapa dura Cantidad disponible: 1
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 1988. Hardcover. Condición: New. Nº de ref. del artículo: DADAX0521334292

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 62,16
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,07
A Estados Unidos de America
Destinos, gastos y plazos de envío

3.

J. M. Spivey
Publicado por Cambridge University Press (1988)
ISBN 10: 0521334292 ISBN 13: 9780521334297
Nuevo Tapa dura Cantidad disponible: 1
Librería
Irish Booksellers
(Portland, ME, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 1988. Hardcover. Condición: New. book. Nº de ref. del artículo: M0521334292

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 83,96
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío