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 €
Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Recent Trends in Algebraic Development Techniques

15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers

Language EnglishEnglish
Book Paperback
Book Recent Trends in Algebraic Development Techniques Maura Cerioli
Libristo code: 01564065
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, January 2002
This book constitutes the thoroughly refereed post-workshop proceedings of the 15th International Wo... Full description
? points 125 b
51.20 €
100.14  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

ELS MISTERIS DE LADY BERTHA. ELS BARRETS DESTROSSATS FRESCHI / Book Hardback
common.buy 14.62 € 28.59 лв
Diario de un paseante slow Martínez Jiménez / Book Paperback
common.buy 26.06 € 50.97 лв
Abbau des Farbstoffs Rhodamin B mit Übergangsmetall-Nanopartikeln Manickam Raja / Book Paperback
common.buy 51.41 € 100.54 лв
Nudelsalat - Die besten Rezepte Dirk Przibylla?? / Book Hardback
common.buy 7.28 € 14.24 лв
Hilda's Variety Foods Hilda Fallas / E-book Adobe ePub DRM
common.buy 5.02 € 9.82 лв
Windows 8 Troubleshooting und Tipps Reiner Backer / Book Paperback
common.buy 10.51 € 20.56 лв
Teneriffa Petrima Thomas / E-book Adobe ePub DRM
common.buy 18.41 € 36.02 лв
Les Messagers de la nuit Gimenez Bartlett / Book Book
common.buy 13.75 € 26.88 лв
Adúltera (Spanish Edition) Jose Marti / Book Paperback
common.buy 8.92 € 17.45 лв
Du875 - Das Kulturmagazin. Österreich Oliver Prange / Book Paperback
common.buy 16.31 € 31.90 лв
Eine Herrenhofsage Selma Lagerlof / Book Hardback
common.buy 15.90 € 31.10 лв
La información y el deporte : libro de estilo para la prensa deportiva andaluza José Luis Rojas Torrijos / Book Paperback
common.buy 18.62 € 36.42 лв
Un Poisson Hors de L'Eau Bernard Comment / Book Paperback
common.buy 9.49 € 18.55 лв
Voyage En Abyssinie. Volume 2 Ferret-A / Book Paperback
common.buy 33.60 € 65.72 лв
Cincq Dialogues Faits A l'Imitation Des Anciens, (Ed.1716) Francois De La Mothe Le Vayer / Book Paperback
common.buy 29.50 € 57.69 лв
Voyageur Francois, Ou La Connoissance de l'Ancien Et Du Nouveau Monde. T. 30 (Ed.1765-1795) Fontenai / Book Paperback
common.buy 28.11 € 54.98 лв
Cosima Grazia Deledda / Book Paperback
common.buy 20.72 € 40.53 лв
Numerische Lösung nichtlinearer partieller Differential- und Integrodifferentialgleichungen R. Ansorge / Book Paperback
common.buy 34.68 € 67.83 лв

This book constitutes the thoroughly refereed post-workshop proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI in Genova, Italy, in April 2001.The book presents 16 papers selected from 32 workshop presentations. Among the topics addressed are formal specification, specification languages, term rewriting, and proof systems.

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 Maura Cerioli, Gianna Reggio
Language English
Binding Book - Paperback
Date of issue 2002
Number of pages 348
EAN 9783540431596
ISBN 3540431594
Libristo code 01564065
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1120
Dimensions 155 x 235 x 20

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
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
Medicine & Nursing > Medicine: general issues
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

Roberts & Zuckerman's Criminal Evidence PAUL; ZUCKE ROBERTS / Book Hardback
common.buy 233.65 € 456.99 лв
Inherit the Riddle Bud Malby / Book Paperback
common.buy 17.75 € 34.71 лв
Day My Fart Followed Me To Hockey Sam Lawrence / Book Hardback
common.buy 21.49 € 42.04 лв
Electrostatic Effects in Soft Matter and Biophysics Christian Holm / Book Hardback
common.buy 204.05 € 399.08 лв
County Catalogue of Unusual Commonwealth War Graves and Memorials: Volume 3 - Herefordshire MR Martin P Nicholson / Book Paperback
common.buy 9.69 € 18.96 лв
Lottery Ticket 2035 HUNTER RAY ADAMS / Book Paperback
common.buy 17.85 € 34.91 лв
My Revision Notes: WJEC and Eduqas GCSE PE Ross Howitt / Book Paperback
common.buy 18.62 € 36.42 лв
Top Coming soon
Sweep Louise Greig / Book Paperback
common.buy 8.67 € 16.95 лв
Book of Jupiter LEO VALENZUELA / Book Paperback
common.buy 17.23 € 33.71 лв
Greece and the European Union: Stranger among Partners? Heinz-Jürgen Axt / Book Hardback
common.buy 29.60 € 57.89 лв
Biographic: Dickens MICHAEL ROBB / Book Hardback
common.buy 12.77 € 24.98 лв
Black Apple Joyce Angela Jellison / Book Paperback
common.buy 13.23 € 25.88 лв
When You Can't Trust Love Prasenjeet Kumar / Book Paperback
common.buy 15.08 € 29.49 лв
Little Women: Music from the Motion Picture Soundtrack Arranged for Piano Solo / Book Paperback
common.buy 24.06 € 47.05 лв
The Wayfaring Stranger's Notebook Burl Ives / Book Paperback
common.buy 31.24 € 61.10 лв
A History and Description of the Collie, or Sheep Dog, in His British Varieties (1890) Rawdon Lee / Book Hardback
common.buy 39.91 € 78.06 лв
An Unlikely Visitor Joanna Cannon / Book Hardback
common.buy 20.01 € 39.13 лв
Book of Church Order and Discipline of the United Church Of Jesus Christ (Apostolic) The Executive Board of Bishops / Book Hardback
common.buy 33.50 € 65.52 лв
Animals at War Isabel George / Book Hardback
common.buy 10.00 € 19.56 лв
The Curse That Binds (Standard Edition) THALASSA LAURA / Book Paperback
common.buy 14.57 € 28.49 лв
Crazy Sexy Kitchen Kris Carr / Book Paperback
common.buy 23.60 € 46.15 лв
Jew of Malta, with Related Texts Christopher Marlowe / Book Paperback
common.buy 15.34 € 29.99 лв
Our Part in This World Felix Adler / Book Paperback
common.buy 10.05 € 19.66 лв
June 10th Journal of a New Freedom & New Happiness Joseph Anthony (Fred) / Book Paperback
common.buy 21.34 € 41.74 лв

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?