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

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.65 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.65 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

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

binding.

15.76 €

Sumishield: Um produto eficaz contra os vectores da malária Akimonwan Juniace Ahoga

Paperback

35.68 €

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

Paperback

39.21 €

Manuale di meccanica per invasati di motori Emanuele Sabatino

Paperback

18.29 €

Die Eistaucher Kaska Bryla

Hardback

23.34 €

antim hindi mahakavya / अंतिम हिंदी महाकाव्&#235 Jay Shankar Prasad

Paperback

20.31 €

Erfolgsfaktor Standortplanung Steffen Kinkel

Hardback

66.00 €

Curso de Teologia Patristica PIKAZA XABIER

Paperback

26.38 €

A Breath of Winter Carina Schnell

Paperback

14.45 €

Briefe über Alexander von Humboldt's Kosmos Julius Schaller

Paperback

62.26 €

PACK TEMARIO OPOSICION BOMBERO POSE

Book

244.74 €

CUENTOS DE RISA PARA LEER SIN PRISA MUÑOZ MARTIN

Book

12.63 €

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

Paperback

20.31 €

Grenzen und Grenzkonflikte. Sibirien und seine unmittelbaren Anrainer: Zwischen Kooperation und Konfrontation Markus Baum

Paperback

14.45 €

Teoría de la publicidad Raúl Eguizábal

Paperback

22.13 €

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

Paperback

29.91 €

Das Rentier Mit Der Roten Nase Various

Audio CD

5.65 €

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

Paperback

5.45 €

Neuronale Netze Im Portfolio-Management Klaus Ripper

Paperback

53.06 €

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

Paperback

38.81 €

Regulationskrankheiten Jürgen Schole

Paperback

17.98 €

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

Paperback

12.73 €

Andaluca y su cante DURAN MUÑOZ

Paperback

7.67 €

Schlesiens Wirbeltier-Fauna Constantin Lambert Gloger

Paperback

15.05 €

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.