Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering - Michael Johnson - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540356332 - 27 de junio de 2006
En caso de que portada y título no coincidan, el título será el correcto

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering 2006 edition

Michael Johnson

Precio
€ 64,99

Pedido desde almacén remoto

Entrega prevista 16 - 25 de dic.
Los regalos de Navidad se podrán canjear hasta el 31 de enero

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

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering 2006 edition

Coverage includes current issues in formal methods related to algebraic approaches and to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, mu-calculus, state machines, rewriting, Kleene algebra, programming logic, and formal software development.

392 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 27 de junio de 2006
ISBN13 9783540356332
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 392
Dimensiones 155 × 235 × 21 mm   ·   566 g
Lengua German  
Editor Johnson, Michael
Editor Vene, Varmo
Mostrar todo

Mas por Michael Johnson

Otros también han comprado

Ver todo de Michael Johnson ( Ej. Paperback Book , CD , Hardcover Book , Book y Sheet music )