Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers - Programming and Software Engineering - Jim Davies - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642198281 - 23 de marzo de 2011
En caso de que portada y título no coincidan, el título será el correcto

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers - Programming and Software Engineering

Jim Davies

Precio
€ 62,99

Pedido desde almacén remoto

Entrega prevista 5 - 17 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

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers - Programming and Software Engineering

This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.

299 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 23 de marzo de 2011
ISBN13 9783642198281
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 291
Dimensiones 155 × 235 × 18 mm   ·   453 g
Lengua French  
Editor Davies, Jim
Editor Silva, Leila
Editor Simao, Adenilso
Mostrar todo

Mas por Jim Davies

Ver todo de Jim Davies ( Ej. CD , Paperback Book , Hardcover Book y Book )