B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings - Lecture Notes in Computer Science - Jacques Julliand - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540687603 - 14 de diciembre de 2006
En caso de que portada y título no coincidan, el título será el correcto

Jacques Julliand
B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings - Lecture Notes in Computer Science 2006 edition

Precio
$ 55,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 13 - 24 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

This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besancon, France, January 2007.

310 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 14 de diciembre de 2006
ISBN13 9783540687603
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 297
Dimensiones 155 × 235 × 16 mm   ·   439 g
Lengua Alemán  
Editor Julliand, Jacques
Editor Kouchnarenko, Olga

Mere med samme udgiver

Ver todo de Jacques Julliand ( Ej. Paperback Book )