Verification of Sequential and Concurrent Programs - Texts in Computer Science - Krzysztof R. Apt - Libros - Springer London Ltd - 9781447125136 - 14 de marzo de 2012
En caso de que portada y título no coincidan, el título será el correcto

Krzysztof R. Apt
Verification of Sequential and Concurrent Programs - Texts in Computer Science Softcover reprint of hardcover 3rd ed. 2009 edition

Precio
$ 84,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 16 - 29 de jun.

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

También disponible como:

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs.

502 pages, 26 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 14 de marzo de 2012
ISBN13 9781447125136
Editores Springer London Ltd
Páginas 502
Dimensiones 156 × 233 × 28 mm   ·   730 g
Lengua Inglés  
Colaborador Amir Pnueli

Ver todo de Krzysztof R. Apt ( Ej. Hardcover Book y Paperback Book )