Understanding Z: A Specification Language and its Formal Semantics - Cambridge Tracts in Theoretical Computer Science - Spivey, J. M. (University of Oxford) - Libros - Cambridge University Press - 9780521054140 - 21 de enero de 2008
En caso de que portada y título no coincidan, el título será el correcto

Spivey, J. M. (University of Oxford)
Understanding Z: A Specification Language and its Formal Semantics - Cambridge Tracts in Theoretical Computer Science

Precio
$ 61,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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.

140 pages, black & white illustrations

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 21 de enero de 2008
ISBN13 9780521054140
Editores Cambridge University Press
Páginas 140
Dimensiones 170 × 239 × 8 mm   ·   234 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Spivey, J. M. (University of Oxford) ( Ej. Paperback Book )