Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering - Michael Johnson - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540356332 - June 27, 2006
In case cover and title do not match, the title is correct

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

Price
$ 55.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 2 - 8

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 27, 2006
ISBN13 9783540356332
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 392
Dimensions 155 × 235 × 21 mm   ·   566 g
Language German  
Editor Johnson, Michael
Editor Vene, Varmo

More by Michael Johnson

Show all

See all of Michael Johnson ( e.g. Paperback Book , CD , Hardcover Book , Book and Blu-ray )