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

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

Price
$ 64.99

Ordered from remote warehouse

Expected delivery Dec 18 - 31
Christmas presents can be returned until 31 January

Our customers say:

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

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

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
Show all

More by Michael Johnson

Others have also bought

See all of Michael Johnson ( e.g. Paperback Book , CD , Hardcover Book , Book and Sheet music )