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 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Recent Trends in Algebraic Development Techniques

Name: Recent Trends in Algebraic Development Techniques
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560468
Price: 51.75 EUR
Availability: InStock
Author: José Luiz Fiadeiro
ISBN: 9783540253273

17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers

José Luiz Fiadeiro

Peter Mosses

Fernando Orejas

Language

English

Book Paperback

Libristo code: 01560468

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2005

This book constitutes the thoroughly refereed postproceedings of the 17th International Workshop on... Full description

Libristo code: 01560468

125 b

51.75 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Инициатива для менеджер& Vikas Agarwal

Paperback

25.82 €

Aventuras con mi Amigo Invisible Ellen Flaherty

Paperback

10.32 €

Голод Кнут Гамсун

Hardback

36.55 €

Mach 10! Piratenbande - Ab 8 Jahren Merle Goll

Paperback

6.98 €

Paris 2024 - Diary - Buchkalender - Taschenkalender - 16,5x21,6

Hardback

16.50 €

EL DERECHO REPRESIVO DE FRANCO CARRILLO

Book

36.25 €

BARAJA DE PONTEVEDRA EDICION ESPECIAL

Paperback

15.79 €

Hunde tapen Alina Nierhaus

Paperback

10.73 €

Das Honigmädchen Claudia Winter

Audio CD

19.64 €

Cornwall a Daphne du Maurier František Nepraš

Hardback

14.78 €

Fatto a fette. Come e perché il panettone ci racconta il mondo Anna Prandoni

Paperback

25.21 €

Najbohatší muž v Babylone George Samuel Clason

Paperback

11.84 €

Verfahren zur Produktionsplanung und Produktionssteuerung in industriellen Unternehmungen. Ulrich Schwarzmaier

Paperback

117.78 €

Biografie, Schule Und Geschlecht Davina Höblich

Paperback

47.29 €

Es grollten die Goetter auf Santorin Verena Appenzeller

Paperback

12.65 €

Wie erziehe ich meinen Hund Rita Lell

Paperback

15.28 €

Ghislaine Hector Malot

Hardback

22.37 €

Ortlichkeit Der Varusschlacht Theodor Mommsen

Paperback

24.20 €

Illustrationen des Wahnsinns Kerstin Schönemann

Paperback

17.01 €

Como dibujar manga 2 tecnicas La Sociedad para el Estudio de las Técnicas del Manga

Paperback

13.06 €

Die Prüfung der Homöopathie Gottfried Eisenmann

Paperback

17.92 €

Falsa inocencia Laura Lee Guhrke

Paperback

11.23 €

Hubo una vez que quise escribir com un poeta Mariano Gomà

Paperback

39.09 €

Entrepans i tastets : 80 elaboracions dolces i salades JAUME URGELLES

Paperback

19.23 €

This book constitutes the thoroughly refereed postproceedings of the 17th International Workshop on Algebraic Development Techniques, WADT 2004, held in Barcelona, Spain in March 2004.§The 14 revised full papers presented together with an invited paper were carefully selected during two rounds of reviewing and improvement. Among the topics addressed are formal methods for system development; specification languages and methods; systems and techniques for reasoning about specifications; specification development systems; methods and techniques for concurrent, distributed, and mobile systems; and algebraic and co-algebraic foundations.