Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
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 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro

Recent Trends in Algebraic Development Techniques

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

Language EnglishEnglish
Book Paperback
Book Recent Trends in Algebraic Development Techniques José Luiz Fiadeiro
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
? points 118 b
48.53 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Aventuras con mi Amigo Invisible Ellen Flaherty / Book Paperback
common.buy 10.54 €
Инициатива для менеджер& Vikas Agarwal / Book Paperback
common.buy 24.11 €
Голод Кнут Гамсун / Book Hardback
common.buy 34.16 €
Testament, czyli opowieść o Tadeuszu Kościuszce słowami jego ordynansa, syna afrykańskiego księcia Agrippy Hulla Cezary Harasimowicz / Book Paperback
common.buy 8.83 €
Wie erziehe ich meinen Hund Rita Lell / Book Paperback
common.buy 15.16 €
Hunde tapen Alina Nierhaus / Book Paperback
common.buy 9.84 €
Es grollten die Goetter auf Santorin Verena Appenzeller / Book Paperback
common.buy 12.55 €
Paris 2024 - Diary - Buchkalender - Taschenkalender - 16,5x21,6 / Book Hardback
common.buy 15.37 €
Migrantenkinder in zweiter Generation und deren Probleme der Zugehoerigkeit Bastian Sadlowski / Book Paperback
common.buy 16.07 €
EL DERECHO REPRESIVO DE FRANCO CARRILLO / Book Book
common.buy 35.87 €
Umělcova cesta Julia Cameronová / Book Book
common.buy 11.85 €
Fatto a fette. Come e perché il panettone ci racconta il mondo Anna Prandoni / Book Paperback
common.buy 23.61 €
BARAJA DE PONTEVEDRA EDICION ESPECIAL / Book Paperback
common.buy 15.26 €
Najbohatší muž v Babylone George Samuel Clason / Book Paperback
common.buy 10.94 €
Verfahren zur Produktionsplanung und Produktionssteuerung in industriellen Unternehmungen. Ulrich Schwarzmaier / Book Paperback
common.buy 121.49 €
Maritime Energy Management in UAE by the Use of Green Practices at UAE Companies and Ports Mustafa Nejem Book Paperback
common.buy 9.13 €
Viimane Londoni rong Matthew Costello / Book Paperback
common.buy 23.71 €
Biografie, Schule Und Geschlecht Davina Höblich / Book Paperback
common.buy 46.92 €
Des Devoirs Et Des Interets Des Conservateurs Chretiens Dans Les Luttes Presentes: Le Tocsin Delbreil-F / Book Paperback
common.buy 13.56 €
Die Prüfung der Homöopathie Gottfried Eisenmann / Book Paperback
common.buy 17.78 €
Falsa inocencia Laura Lee Guhrke / Book Paperback
common.buy 10.54 €
Hubo una vez que quise escribir com un poeta Mariano Gomà / Book Paperback
common.buy 36.87 €
Entrepans i tastets : 80 elaboracions dolces i salades JAUME URGELLES / Book Paperback
common.buy 17.98 €
Petits Chefs-d'Oeuvre Des Ecrivains Du Jour Tome 2 "" / Book Paperback
common.buy 24.71 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Recent Trends in Algebraic Development Techniques
Author José Luiz Fiadeiro, Peter Mosses, Fernando Orejas
Language English
Binding Book - Paperback
Date of issue 2005
Number of pages 280
EAN 9783540253273
ISBN 3540253270
Libristo code 01560468
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 900
Dimensions 152 x 229 x 16

Categories

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Algorithms for Functional Programming John David Stone / Book Hardback
common.buy 85.11 €
Urban Poverty in the Wake of Environmental Disaster Maria Ela Atienza / E-book Adobe ePub DRM
common.buy 65.01 €
A Big Manhattan Year: Tales of Competitive Birding David Barrett / Book Paperback
common.buy 13.25 €
Propaganda Blitz David Edwards / Book Paperback
common.buy 16.47 €
Factory Accounts, their Principles and Practice Emile Garcke / Book Paperback
common.buy 19.28 €
Boko Haram and International Law John-Mark Iyi / Book Hardback
common.buy 193.24 €
Proclus: Commentary on Plato's Republic: Volume 1 Dirk Baltzly / Book Hardback
common.buy 134.75 €
The Ennead: The Story of King Osiris the Vindicated, the Beloved Enchantress Isis and Horus the Avenger Stephen Andrew Missick / Book Paperback
common.buy 10.54 €
United States Air Force Search and Rescue in Southeast Asia Earl H Tilford / Book Paperback
common.buy 25.41 €
Routledge Handbook of African Linguistics Adams Bodomo / Book Hardback
common.buy 341.77 €
BAND TIME EXPERT SCORE JACOB DE HAAN / Book binding.
common.buy 62.60 €
Outpouring C. S. Johnson / Book Hardback
common.buy 42.80 €
Shirley Disseler's Strategies and Activities for Common Core Math Part 2 Shirley Disseler / Book Paperback
common.buy 26.12 €
My Twisted Life, but The Grace of God That Saved Me Patricia Yvonne Nixon / Book Hardback
common.buy 30.64 €
Cut to the Bone Sally Spedding / Book Paperback
common.buy 21.90 €
It's Never Too Late to Say... Julia Roberts / Book Paperback
common.buy 14.96 €
Evolution of Individuality Leo W. Buss / Book Hardback
common.buy 139.98 €
Almira. Being the History of a Young Lady of Good Birth and Fortune, but More Distinguish'd Merit ... of 2; Volume 2 MULTIPLE CONTRIBUTOR / Book Hardback
common.buy 32.25 €
Starting Out With Visual Basic Tony Gaddis / Book Paperback
common.buy 247.81 €
The Tourist's Guide Through the County of Caernarvon: Containing a Short Sketch of Its History, Antiquities ... Peter Bayley Williams / Book Paperback
common.buy 25.31 €
Lines in Pleasant Places William Senior / Book Paperback
common.buy 22.50 €
Business-to-Business Marketing Richard Afriyie Owusu / Book Hardback
common.buy 89.73 €
Descent of the Soul and the Archaic Paul Bishop / Book Paperback
common.buy 54.56 €
Wellness Planner Mc Del Mundo M. D. / Book Paperback
common.buy 41.09 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?