Zb 2002, Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings - Lecture Notes in Computer Science - D Bert - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540431664 - 16 de enero de 2002
En caso de que portada y título no coincidan, el título será el correcto

D Bert
Zb 2002, Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings - Lecture Notes in Computer Science

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 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

Contains the proceedings of the Second International Conference of B and Z Users, held in France in 2002. The 24 papers and three invited contributions document advances for the Z formal specification notion and cover the full scope for the B method, from theoretical issues to applications.

541 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 16 de enero de 2002
ISBN13 9783540431664
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 541
Dimensiones 156 × 234 × 28 mm   ·   1,26 kg
Lengua Alemán  
Editor Bert, Didier
Editor Bowen, Jonathan P.
Editor Henson, Martin C.
Editor Robinson, Ken, Ph.d.

Mas por D Bert

Mostrar todo

Mere med samme udgiver

Ver todo de D Bert ( Ej. Paperback Book )