Understanding Z A Specification Language and its Formal Semantics Spivey
Understanding Z
A Specification Language and its Formal Semantics
This book provides a standard framework for understanding Z specifications.
J. M. Spivey (Author)
9780521054140, Cambridge University Press
Paperback / softback, published 21 January 2008
140 pages
23.9 x 17 x 0.8 cm, 0.234 kg
\""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 ]
Price now:
From
£32.39
to
£51.39
Historial de precios:
Detalles:Understanding Z A Specification Language and its Formal Semantics Spivey
Understanding Z
A Specification Language and its Formal Semantics
This book provides a standard framework for understanding Z specifications.
J. M. Spivey (Author)
9780521054140, Cambridge University Press
Paperback / softback, published 21 January 2008
140 pages
23.9 x 17 x 0.8 cm, 0.234 kg
\""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 ]
Price now:
From
£32.39
to
£51.39
eBay
Nuevo
£32.39
Fnac ES
14.40% (+ 6,47 €)
Nuevo
51,39 €
Descripción del Producto
Understanding Z
A Specification Language and its Formal Semantics
This book provides a standard framework for understanding Z specifications.
J. M. Spivey (Author)
9780521054140, Cambridge University Press
Paperback / softback, published 21 January 2008
140 pages
23.9 x 17 x 0.8 cm, 0.234 kg
\""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 ]
Especificaciones del producto
General | |
|---|---|
Language | English |
Format | Paperback |
Type | Textbook |
Brand | Cambridge University Press |
Entrega, devoluciones y reembolsos
Entrega
Los vendedores ofrecen una variedad de opciones de entrega, por lo que puede elegir la que le resulte más conveniente. Muchos vendedores ofrecen entrega gratuita. Siempre puede encontrar el costo de envío y la fecha de entrega estimada en una lista del vendedor. Luego podrá ver una lista completa de opciones de entrega durante el pago. Estos pueden incluir: entrega urgente, entrega estándar, entrega económica, Click & Collect, colección local gratuita del vendedor.
Devoluciones
Sus opciones para devolver un artículo varían según lo que desea devolver, por qué desea devolverlo y la política de devolución del vendedor. Si el artículo está dañado o no coincide con la descripción del listado, puede devolverlo incluso si la política de devoluciones del vendedor dice que no acepta devoluciones. Si ha cambiado de opinión y ya no desea un artículo, aún puede solicitar una devolución, pero el vendedor no tiene que aceptarlo. Si el comprador cambia de opinión acerca de una compra y desea devolver un artículo, es posible que deba pagar los gastos de envío, según la política de devolución del vendedor. Los vendedores pueden proporcionar una dirección de franqueo de devolución e información adicional sobre el franqueo de devolución para el comprador. Los vendedores pagan el franqueo de devolución si hay un problema con el artículo. Por ejemplo, si el artículo no coincide con la descripción del listado, está dañado o es defectuoso o es falso. Por ley, los clientes en la Unión Europea también tienen el derecho de cancelar la compra de un artículo dentro de los 14 días a partir del día en que recibe, o un tercero indicado por usted (que no sea el transportista) recibe, el último bien ordenado por usted (si se entrega por separado) Esto se aplica a todos los productos, excepto los artículos digitales (por ejemplo, música digital) que se le proporcionan inmediatamente con su reconocimiento, y otros artículos como video, DVD, audio, videojuegos, productos de sexo y sensualidad y productos de software donde el artículo ha sido sin sellar
Reembolsos
Los vendedores tienen que ofrecer un reembolso por ciertos artículos solo si están defectuosos, tales como: artículos personalizados y artículos hechos a medida, artículos perecederos, periódicos y revistas, CD de DVD sin envolver y software de computadora. Si utilizó su saldo de PayPal o cuenta bancaria para financiar el pago original, el dinero reembolsado volverá al saldo de su cuenta de PayPal. Si utilizó una tarjeta de crédito o débito para financiar el pago original, el dinero reembolsado volverá a su tarjeta. El vendedor efectuará el reembolso dentro de los tres días hábiles, pero puede demorar hasta 30 días para que Paypal procese la transferencia. Para pagos financiados parcialmente por una tarjeta y parcialmente por su saldo / banco, el dinero tomado de su tarjeta volverá a su tarjeta y el resto volverá a su saldo de PayPal.