Z: An Introduction to Formal Methods - Diller, Antoni (University of Birmingham) - Libros - John Wiley & Sons Inc - 9780471939733 - 19 de julio de 1994
En caso de que portada y título no coincidan, el título será el correcto

Diller, Antoni (University of Birmingham)
Z: An Introduction to Formal Methods 2.º edición

Precio
$ 166,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 17 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

Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.

394 pages, glossary

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 19 de julio de 1994
ISBN13 9780471939733
Editores John Wiley & Sons Inc
Páginas 400
Dimensiones 244 × 172 × 21 mm   ·   635 g

Mere med samme udgiver

Ver todo de Diller, Antoni (University of Birmingham) ( Ej. Paperback Book )