Free delivery for orders over 69.99 euro

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 69.99 €

DPD courier 4.49 € DPD point 3.99 € GLS courier 5.49 € GLS point 4.49 € Croatian Post 5.49 € Overseas courier 5.49 € Box Now 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro

Algebraic Methodology and Software Technology

Name: Algebraic Methodology and Software Technology
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01564599
Price: 48.64 EUR
Availability: InStock
Author: Helene Kirchner
ISBN: 9783540441441

9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings

Helene Kirchner

Christophe Ringeissen

Language

English

Book Paperback

Libristo code: 01564599

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2002

This book constitutes the refereed proceedings of the 9th International Conference on Algebraic Meth... Full description

Libristo code: 01564599

118 b

48.64 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Michel de Certeau lesen. Lire Michel de Certeau Philippe Büttgen

Paperback

36.95 €

Batman/Superman: World's finest Mark Waid

Paperback

19.03 €

Dekalog (Neuauflage), 6 DVDs Krzysztof Kieslowski

DVD

44.91 €

Les audacieux corsaires de l'île de Malte Roussel

Paperback

11.07 €

Le Chat Noir, Vaudeville En 1 Acte Dupin-H

Paperback

11.27 €

La piel del cielo (Premio Alfaguara de novela 2001) ELENA PONIATOWSKA

Paperback

20.13 €

Jésus et les vendeurs du Temple (Jn 2,13), Carte simple Vie de Jésus Mafa MAFA Game/Toy

Toy

2.41 €

Presseberufe im Gemeinsamen Markt. Andreas Lahusen

Paperback

42.29 €

Die Begriffsbestimmung des Versuchs und ihre Auswirkung auf den Versuchsbeginn. Luis C. Rey-Sanfiz

Paperback

110.08 €

Schattenkünstler Kia Vahland

Hardback

11.87 €

Die deutsche Hanse Gisela Graichen

Paperback

17.92 €

Ansichten der Subjektivität Manfred Frank

Paperback

19.53 €

Bauman Dariusz Rosiak

Hardback

7.95 €

Puzzle 500 Arrinera hussarya 33 B-52950

Game

7.44 €

Erfolg fur Dummies Sonderausgabe Zig Ziglar

Paperback

11.57 €

Klinische Und Liquordiagnostik Der R ckenmarkstumoren Karl Grosz

Paperback

52.87 €

Amerika und Wir. Robert v. Scheller-Steinwartz

Paperback

32.93 €

DICCIONARI BASIC CATALÁ-CASTELLÁ, CASTELLÁ-CATALÁ Diversos autors

Paperback

14.09 €

Humanae Vitae PABLO VI

Hardback

4.72 €

This book constitutes the refereed proceedings of the 9th International Conference on Algebraic Methodology and Software Technology, AMAST 2002, held in Saint-Gilles-les-Bains, Reunion Island, France in September 2002.The 26 revised full papers presented together with 6 invited papers and 2 system descriptions were carefully reviewed and selected from 59 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches including abstract data types, process algebras, algebraic specification, semantic specification, model checking, mu-calculus, Petri box algebras, unification, verification of Java for smart cards, security, JML specification, and formal software development.