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

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006…

byMichael JohnsonEditorVarmo Vene

Paperback | June 27, 2006

Pricing and Purchase Info

$124.50

Earn 623 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and Software Technology. The book collects 24 revised full papers together with 3 system demonstrations and 3 invited talks. 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.
Title:Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006…Format:PaperbackDimensions:392 pages, 23.5 × 15.5 × 0.17 inPublished:June 27, 2006Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540356339

ISBN - 13:9783540356332

Look for similar items by category:

Reviews