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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

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: 53.79 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

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

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

Paperback

20.79 €

Jean-Louis Murat - Les jours du jaguar Pierre Andrieu

Paperback

42.69 €

Sweet Minis häkeln - 23 wilde Dschungeltiere Inga Borges

Hardback

10.00 €

Demon slayer. Kimetsu no yaiba Koyoharu Gotouge

Paperback

7.99 €

Bestiari Navarro Simon

Paperback

9.79 €

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

Paperback

33.29 €

Tarifvertrags- und Arbeitskampfrecht (Kollektives Arbeitsrecht) Dario Fischer

Paperback

9.99 €

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

Paperback

71.69 €

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.