Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Specification In B: An Introduction Using The B Toolkit

Name: Specification In B: An Introduction Using The B Toolkit
Brand: Imperial College Press
SKU: 05121468
Price: 47.99 EUR
Availability: InStock
Author: Kevin Lano
ISBN: 9781860940187

Kevin Lano

Howard Haughton

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 05121468

Editores Imperial College Press, enero 1996

Offers a practical introduction to the B specification language and method, an approach to the devel... Descripción completa

Código Libristo: 05121468

117 b

47.99 €

50% de probabilidad Buscaremos por todo el mundo ¿Cuándo recibiré mi libro?

Hasta 30 días para devoluciones

Clientes que también han comprado

Cuentos populares : Con adhesivos y actividades Louisa Camford

Tapa blanda

2.99 €

Globus 320 fizyczny 3d stopka drewniana

binding.

38.59 €

Morale et pensée de Nietzsche Nietzsche

Tapa blanda

17.69 €

Offers a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques. Examples of all development life-cycle stages are given in the work, including animation, proof, design and code generation in C. Two case studies and excercises with solutions are provided.