Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Algebraic Methodology and Software Technology

Name: Algebraic Methodology and Software Technology
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01562279
Price: 51.75 EUR
Availability: InStock
Author: Michael Johnson
ISBN: 9783540356332

11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings

Michael Johnson

Varmo Vene

Language

English

Book Paperback

Libristo code: 01562279

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2006

This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and S... Full description

Libristo code: 01562279

125 b

51.75 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Método TED para hablar en público JEREMY DONOVAN

Paperback

20.15 €

Jean-Louis Murat - Les jours du jaguar Pierre Andrieu

Paperback

41.52 €

Sweet Minis häkeln - 23 wilde Dschungeltiere Inga Borges

Hardback

8.60 €

Demon slayer. Kimetsu no yaiba Koyoharu Gotouge

Paperback

7.79 €

Bestiari Navarro Simon

Paperback

9.51 €

Histoire Des Deux Restaurations: Jusqu'a l'Avenement de Louis-Philippe. T 7 (Ed.1860) Achille De Vaulabelle

Paperback

32.20 €

Tarifvertrags- und Arbeitskampfrecht (Kollektives Arbeitsrecht) Dario Fischer

Paperback

9.11 €

Migrations- und Flüchtlingspolitik der Europäischen Union Matthias Amann

Paperback

69.06 €

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.