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)

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.

Comprar nuevo Ver libro

Gastos de envío: EUR 3,55
A Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

1.

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

Descripción Cambridge University Press, 1988. Hardcover. Estado de conservación: New. Nº de ref. de la librería SONG0521334292

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 11,12
Convertir moneda

Añadir al carrito

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