Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Algebraic Methodology and Software Technology

Name: Algebraic Methodology and Software Technology
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01562279
Price: 19999 HUF
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

136 b

19 999 Ft

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

7 171 Ft

Jean-Louis Murat - Les jours du jaguar Pierre Andrieu

Paperback

14 774 Ft

Sweet Minis häkeln - 23 wilde Dschungeltiere Inga Borges

Hardback

3 358 Ft

Demon slayer. Kimetsu no yaiba Koyoharu Gotouge

Paperback

2 768 Ft

Bestiari Navarro Simon

Paperback

3 386 Ft

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

Paperback

12 312 Ft

Tarifvertrags- und Arbeitskampfrecht (Kollektives Arbeitsrecht) Dario Fischer

Paperback

3 562 Ft

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

Paperback

24 564 Ft

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.