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

Name: Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering
Price: 55.99 USD
Availability: OutOfStock
Author: Michael Johnson

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 22 de jun. - 3 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Michael Johnson

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	Alemán
Editor	Johnson, Michael
Editor	Vene, Varmo