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 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

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.49 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Abbau des Farbstoffs Rhodamin B mit Übergangsmetall-Nanopartikeln Manickam Raja / Book Paperback
common.buy 48.77 €
ELS MISTERIS DE LADY BERTHA. ELS BARRETS DESTROSSATS FRESCHI / Book Hardback
common.buy 14.00 €
Nudelsalat - Die besten Rezepte Dirk Przibylla?? / Book Hardback
common.buy 6.94 €
La información y el deporte : libro de estilo para la prensa deportiva andaluza José Luis Rojas Torrijos / Book Paperback
common.buy 18.23 €
Les Messagers de la nuit Gimenez Bartlett / Book Book
common.buy 14.30 €
Adúltera (Spanish Edition) Jose Marti / Book Paperback
common.buy 8.76 €
Windows 8 Troubleshooting und Tipps Reiner Backer / Book Paperback
common.buy 10.27 €
Un Poisson Hors de L'Eau Bernard Comment / Book Paperback
common.buy 10.27 €
Voyage En Abyssinie. Volume 2 Ferret-A / Book Paperback
common.buy 33.35 €
Voyageur Francois, Ou La Connoissance de l'Ancien Et Du Nouveau Monde. T. 30 (Ed.1765-1795) Fontenai / Book Paperback
common.buy 27.91 €
Cosima Grazia Deledda / Book Paperback
common.buy 20.25 €
Numerische Lösung nichtlinearer partieller Differential- und Integrodifferentialgleichungen R. Ansorge / Book Paperback
common.buy 32.95 €

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

Out of Line Jen McLaughlin / Book Paperback
common.buy 17.12 €
The Wayfaring Stranger's Notebook Burl Ives / Book Paperback
common.buy 30.63 €
Little Women: Music from the Motion Picture Soundtrack Arranged for Piano Solo / Book Paperback
common.buy 22.26 €
When You Can't Trust Love Prasenjeet Kumar / Book Paperback
common.buy 14.10 €
Biographic: Dickens MICHAEL ROBB / Book Hardback
common.buy 10.77 €
Book of Jupiter LEO VALENZUELA / Book Paperback
common.buy 17.02 €
Sweep Louise Greig / Book Paperback
common.buy 7.85 €
Joanna Cannon Untitled Book 4 Joanna Cannon / Book Hardback
common.buy 20.05 €
County Catalogue of Unusual Commonwealth War Graves and Memorials: Volume 3 - Herefordshire MR Martin P Nicholson / Book Paperback
common.buy 9.46 €
Day My Fart Followed Me To Hockey Sam Lawrence / Book Hardback
common.buy 21.05 €
Electrostatic Effects in Soft Matter and Biophysics Christian Holm / Book Hardback
common.buy 204.98 €
Greece and the European Union: Stranger among Partners? Heinz-Jürgen Axt / Book Hardback
common.buy 28.61 €
Inherit the Riddle Bud Malby / Book Paperback
common.buy 17.32 €
Our Part in This World Felix Adler / Book Paperback
common.buy 9.87 €
Top
The Curse That Binds (Standard Edition) THALASSA LAURA / Book Paperback
common.buy 14.20 €
Surface Analysis of Polymers by XPS and Static SIMS D. Briggs / Book Hardback
common.buy 178.37 €
Communicative Grammar Practice Teacher's manual Leo Jones / Book Paperback
common.buy 36.07 €
Animals at War Isabel George / Book Hardback
common.buy 10.77 €
Crazy Sexy Kitchen Kris Carr / Book Paperback
common.buy 22.77 €
Lifeguard Ian Wedde / Book Paperback
common.buy 18.53 €
Jew of Malta, with Related Texts Christopher Marlowe / Book Paperback
common.buy 15.41 €
The Mossad and Other Israeli Spies Michael E. Goodman / Book Hardback
common.buy 46.05 €
The Design of Factory and Industrial Buildings, With Chapters on Welfare Work and Industrial Research Departments Ernest George William Souster / Book Hardback
common.buy 31.53 €
Book of Church Order and Discipline of the United Church Of Jesus Christ (Apostolic) The Executive Board of Bishops / Book Hardback
common.buy 36.98 €

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?