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, Berlin
SKU: 01559586
Price: 51.75 EUR
Availability: InStock
Author: Charles Rattray
ISBN: 9783540223818

10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings

Charles Rattray

Savitri Maharaj

Language

English

Book Paperback

Libristo code: 01559586

Publishers Springer, Berlin, November 2003

This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Met... Full description

Libristo code: 01559586

125 b

51.75 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Die Eistaucher Kaska Bryla

Hardback

23.49 €

Curso de Teologia Patristica PIKAZA XABIER

Paperback

26.42 €

Il était une fois un coeur brisé T01 (relié collector) Stephanie Garber

Hardback

30.98 €

Sokar - L' ordre des moines-guerriers Ahkena T1 Boivin

Paperback

13.36 €

A Breath of Winter Carina Schnell

Paperback

14.47 €

Briefe über Alexander von Humboldt's Kosmos Julius Schaller

Paperback

62.38 €

CUENTOS DE RISA PARA LEER SIN PRISA MUÑOZ MARTIN

Book

12.55 €

PACK TEMARIO OPOSICION BOMBERO POSE

Book

245.20 €

Benedetto Croce, John Dewey. Dialogo sull'estetica Nicola Ramazzotto

Paperback

39.29 €

Manuale di meccanica per invasati di motori Emanuele Sabatino

Paperback

18.42 €

Erfolgsfaktor Standortplanung Steffen Kinkel

Hardback

66.13 €

Душина. География. 7 кл. Материки, океаны, народы и страны. Учебное пособие. (ФГОС)

binding.

15.79 €

Andaluca y su cante DURAN MUÑOZ

Paperback

8.60 €

Symbole et connaissances de l'initiation maçonnique Fleury

Paperback

24.10 €

Les Cars 3 DISNEY.PIXAR Book

Paperback

4.55 €

Basic theory of the helicopter - Pictorial initiation ROGER

Paperback

43.74 €

Hydrologische Untersuchungen Johannes Von Wagner

Paperback

12.35 €

Premier Examen Sur Le Code Civil, Contenant Le Premier Livre Du Code CARRE-N

Paperback

20.35 €

Notice Sur Un Enfant d'Indret, Mort A l'Age de 8 ANS GUILLET-C

Paperback

12.75 €

Manuel Des Jeunes Artistes Et Amateurs En Peinture, (Ed.1827) P L Bouvier

Paperback

40.20 €

Neuronale Netze Im Portfolio-Management Klaus Ripper

Paperback

53.16 €

Podoby Židů v literatuře doby romantismu v českých zemích Jiří Holý

Paperback

5.46 €

Arquitectura bioclimática y urbanismo sostenible (volumen II) (Serie Energias renovables)

Paperback

33.41 €

Das Rentier Mit Der Roten Nase Various

Audio CD

5.66 €

This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, AMAST 2004, held in Stirling, Scotland, UK in July 2004. The 35 revised full papers presented together with abstracts of 5 invited talks and an invited paper were carefully reviewed and selected from 63 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, model checking, state machines, rewriting, Kleene algebra, programming logic, etc.