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, Berlin
SKU: 01559586
Price: 19972 HUF
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

136 b

19 972 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Die Eistaucher Kaska Bryla

Hardback

8 339 Ft

Curso de Teologia Patristica PIKAZA XABIER

Paperback

9 768 Ft

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

Hardback

11 002 Ft

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

Paperback

4 763 Ft

A Breath of Winter Carina Schnell

Paperback

5 649 Ft

Briefe über Alexander von Humboldt's Kosmos Julius Schaller

Paperback

24 253 Ft

CUENTOS DE RISA PARA LEER SIN PRISA MUÑOZ MARTIN

Book

4 471 Ft

PACK TEMARIO OPOSICION BOMBERO POSE

Book

94 865 Ft

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

Paperback

15 209 Ft

Manuale di meccanica per invasati di motori Emanuele Sabatino

Paperback

6 544 Ft

Erfolgsfaktor Standortplanung Steffen Kinkel

Hardback

25 580 Ft

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

binding.

5 617 Ft

Andaluca y su cante DURAN MUÑOZ

Paperback

3 061 Ft

Symbole et connaissances de l'initiation maçonnique Fleury

Paperback

8 576 Ft

Les Cars 3 DISNEY.PIXAR Book

Paperback

1 619 Ft

Basic theory of the helicopter - Pictorial initiation ROGER

Paperback

15 561 Ft

Hydrologische Untersuchungen Johannes Von Wagner

Paperback

4 383 Ft

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

Paperback

7 783 Ft

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

Paperback

4 884 Ft

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

Paperback

15 338 Ft

Neuronale Netze Im Portfolio-Management Klaus Ripper

Paperback

20 519 Ft

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

Paperback

1 925 Ft

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

Paperback

11 869 Ft

Das Rentier Mit Der Roten Nase Various

Audio CD

2 175 Ft

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.