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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

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 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Voyage En Abyssinie. Volume 2 Ferret-A / Book Paperback
common.buy 35.29 €
Un Poisson Hors de L'Eau Bernard Comment / Book Paperback
common.buy 10.69 €
Windows 8 Troubleshooting und Tipps Reiner Backer / Book Paperback
common.buy 10.69 €
Les Messagers de la nuit Gimenez Bartlett / Book Book
common.buy 14.99 €
Numerische Lösung nichtlinearer partieller Differential- und Integrodifferentialgleichungen R. Ansorge / Book Paperback
common.buy 34.95 €
Abbau des Farbstoffs Rhodamin B mit Übergangsmetall-Nanopartikeln Manickam Raja / Book Paperback
common.buy 54.90 €
Nudelsalat - Die besten Rezepte Dirk Przibylla?? / Book Hardback
common.buy 7.99 €
Cosima Grazia Deledda / Book Paperback
common.buy 21.09 €
La información y el deporte : libro de estilo para la prensa deportiva andaluza José Luis Rojas Torrijos / Book Paperback
common.buy 18.79 €
ELS MISTERIS DE LADY BERTHA. ELS BARRETS DESTROSSATS FRESCHI / Book Hardback
common.buy 13.89 €

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

Day My Fart Followed Me To Hockey Sam Lawrence / Book Hardback
common.buy 21.99 €
The Curse That Binds (Standard Edition) THALASSA LAURA / Book Paperback
common.buy 15.59 €
The Design of Factory and Industrial Buildings, With Chapters on Welfare Work and Industrial Research Departments Ernest George William Souster / Book Hardback
common.buy 32.79 €
Breathwork Caridad Cuellar / Book Paperback
common.buy 16.49 €
Joanna Cannon Untitled Book 4 Joanna Cannon / Book Hardback
common.buy 21.29 €
The Wayfaring Stranger's Notebook Burl Ives / Book Paperback
common.buy 31.79 €
Little Women: Music from the Motion Picture Soundtrack Arranged for Piano Solo / Book Paperback
common.buy 23.49 €
When You Can't Trust Love Prasenjeet Kumar / Book Paperback
common.buy 14.69 €
Biographic: Dickens MICHAEL ROBB / Book Hardback
common.buy 11.39 €
Book of Jupiter LEO VALENZUELA / Book Paperback
common.buy 17.69 €
Sweep Louise Greig / Book Paperback
common.buy 8.39 €
County Catalogue of Unusual Commonwealth War Graves and Memorials: Volume 3 - Herefordshire MR Martin P Nicholson / Book Paperback
common.buy 9.89 €
Greece and the European Union: Stranger among Partners? Heinz-Jürgen Axt / Book Hardback
common.buy 29.79 €
Our Part in This World Felix Adler / Book Paperback
common.buy 10.39 €
Surface Analysis of Polymers by XPS and Static SIMS D. Briggs / Book Hardback
common.buy 185.09 €
Communicative Grammar Practice Teacher's manual Leo Jones / Book Paperback
common.buy 36.89 €
Crazy Sexy Kitchen Kris Carr / Book Paperback
common.buy 23.79 €
Lifeguard Ian Wedde / Book Paperback
common.buy 18.89 €
Jew of Malta, with Related Texts Christopher Marlowe / Book Paperback
common.buy 16.09 €
Book of Church Order and Discipline of the United Church Of Jesus Christ (Apostolic) The Executive Board of Bishops / Book Hardback
common.buy 38.39 €
Scared Sh*Tless Cary Mcneal / Book Paperback
common.buy 13.99 €
The Mossad and Other Israeli Spies Michael E. Goodman / Book Hardback
common.buy 47.79 €
Out of Line Jen McLaughlin / Book Paperback
common.buy 17.99 €
Inherit the Riddle Bud Malby / Book Paperback
common.buy 18.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?