Proof in Vdm: a Practitioner's Guide - Formal Approaches to Computing & Information Technology (Facit) - J. Bicarregui - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540198130 - 1 de diciembre de 1993
En caso de que portada y título no coincidan, el título será el correcto

J. Bicarregui
Proof in Vdm: a Practitioner's Guide - Formal Approaches to Computing & Information Technology (Facit) Softcover Reprint of the Original 1st Ed. 1994 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de jun. - 8 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

A manual which explores the practical aspects of constructing proofs in the specification and development of computing systems. All techniques are illustrated with numerous worked examples and use the basic data types of the VDM specification language.

378 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 1 de diciembre de 1993
ISBN13 9783540198130
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 378
Dimensiones 155 × 235 × 20 mm   ·   530 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de J. Bicarregui ( Ej. Paperback Book )