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 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
20 346 Ft
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 19 420 Ft
ELS MISTERIS DE LADY BERTHA. ELS BARRETS DESTROSSATS FRESCHI / Book Hardback
common.buy 5 094 Ft
Nudelsalat - Die besten Rezepte Dirk Przibylla?? / Book Hardback
common.buy 2 518 Ft
La información y el deporte : libro de estilo para la prensa deportiva andaluza José Luis Rojas Torrijos / Book Paperback
common.buy 6 100 Ft
Les Messagers de la nuit Gimenez Bartlett / Book Book
common.buy 5 183 Ft
Adúltera (Spanish Edition) Jose Marti / Book Paperback
common.buy 3 445 Ft
Windows 8 Troubleshooting und Tipps Reiner Backer / Book Paperback
common.buy 4 045 Ft
Un Poisson Hors de L'Eau Bernard Comment / Book Paperback
common.buy 3 700 Ft
Voyage En Abyssinie. Volume 2 Ferret-A / Book Paperback
common.buy 12 120 Ft
Voyageur Francois, Ou La Connoissance de l'Ancien Et Du Nouveau Monde. T. 30 (Ed.1765-1795) Fontenai / Book Paperback
common.buy 10 159 Ft
Cosima Grazia Deledda / Book Paperback
common.buy 7 957 Ft
Numerische Lösung nichtlinearer partieller Differential- und Integrodifferentialgleichungen R. Ansorge / Book Paperback
common.buy 13 065 Ft

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 6 804 Ft
The Wayfaring Stranger's Notebook Burl Ives / Book Paperback
common.buy 11 987 Ft
Little Women: Music from the Motion Picture Soundtrack Arranged for Piano Solo / Book Paperback
common.buy 8 392 Ft
When You Can't Trust Love Prasenjeet Kumar / Book Paperback
common.buy 5 557 Ft
Biographic: Dickens MICHAEL ROBB / Book Hardback
common.buy 4 168 Ft
Book of Jupiter LEO VALENZUELA / Book Paperback
common.buy 6 639 Ft
Sweep Louise Greig / Book Paperback
common.buy 3 189 Ft
Joanna Cannon Untitled Book 4 Joanna Cannon / Book Hardback
common.buy 7 806 Ft
County Catalogue of Unusual Commonwealth War Graves and Memorials: Volume 3 - Herefordshire MR Martin P Nicholson / Book Paperback
common.buy 3 747 Ft
Day My Fart Followed Me To Hockey Sam Lawrence / Book Hardback
common.buy 8 288 Ft
Electrostatic Effects in Soft Matter and Biophysics Christian Holm / Book Hardback
common.buy 84 389 Ft
Greece and the European Union: Stranger among Partners? Heinz-Jürgen Axt / Book Hardback
common.buy 10 400 Ft
Inherit the Riddle Bud Malby / Book Paperback
common.buy 6 818 Ft
Our Part in This World Felix Adler / Book Paperback
common.buy 3 941 Ft
Top
The Curse That Binds (Standard Edition) THALASSA LAURA / Book Paperback
common.buy 5 708 Ft
Surface Analysis of Polymers by XPS and Static SIMS D. Briggs / Book Hardback
common.buy 69 704 Ft
Communicative Grammar Practice Teacher's manual Leo Jones / Book Paperback
common.buy 14 430 Ft
Animals at War Isabel George / Book Hardback
common.buy 3 879 Ft
Crazy Sexy Kitchen Kris Carr / Book Paperback
common.buy 9 020 Ft
Lifeguard Ian Wedde / Book Paperback
common.buy 7 343 Ft
Jew of Malta, with Related Texts Christopher Marlowe / Book Paperback
common.buy 5 920 Ft
The Mossad and Other Israeli Spies Michael E. Goodman / Book Hardback
common.buy 17 979 Ft
The Design of Factory and Industrial Buildings, With Chapters on Welfare Work and Industrial Research Departments Ernest George William Souster / Book Hardback
common.buy 12 361 Ft
Book of Church Order and Discipline of the United Church Of Jesus Christ (Apostolic) The Executive Board of Bishops / Book Hardback
common.buy 14 459 Ft

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?