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

Rewriting Logic and Its Applications

8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Rewriting Logic and Its Applications Peter Csaba Ölveczky
Libristo code: 01656796
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, October 2010
This book constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic... Full description
? points 142 b
58.56 €
114.53  лв
Low in stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Oszillatoren Mit Schwingkristallen W. Herzog / Book Paperback
common.buy 55.87 € 109.27 лв
Malerei des Impressionismus. 1860-1920 Ingo F. Walther / Book Hardback
common.buy 19.02 € 37.19 лв
Theorie der medizinischen Fußbehandlung. Bd.1 Klaus Grünewald / Book Hardback
common.buy 75.46 € 147.59 лв
Doba ortelů Book binding.
common.buy 2.17 € 4.24 лв
Textlinguistik Kirsten Adamzik / E-book Adobe ePub DRM
common.buy 39.85 € 77.93 лв
Les Tortues Ninja - TMNT Micro-Série : Villains Jason Ciaramella / Book Hardback
common.buy 40.05 € 78.34 лв
Mistyczne doświadczenie Antonina Volkova / Book Paperback
common.buy 74.38 € 145.47 лв
Competencias en Quimica universitaria Vazquez Borges Elizabeth Del Rosario / Book Paperback
common.buy 34.01 € 66.51 лв
Mein allerschönster Traum - Ndoto yangu nzuri sana kuliko zote (Deutsch - Swahili): Zweisprachiges Kinderbuch Ulrich Renz / Book Paperback
common.buy 13.54 € 26.48 лв
Hemodinamia Y Cardioangiología Intervencionista: Intervenciones en la Patología Aórtica y Vascular Periférica Colegio Argentino de Cardioangiologos in / Book Paperback
common.buy 46.31 € 90.57 лв
Kurzer Entwurf der unausstehlichen Ungereimtheiten der Kantischen Philosophie Benedikt Stattler / Book Paperback
common.buy 13.28 € 25.97 лв
Die Einheit des Vertragsrechts Hermann Eichler / Book Paperback
common.buy 50.29 € 98.36 лв
Lehrbuch der Geophysik und physikalischen Geographie Siegmund Günther / Book Paperback
common.buy 47.08 € 92.09 лв

This book constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, in March 2010.§The 13 revised full papers presented were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on termination and narrowing; tools; the K framework; applications and semantics; maude model checking and debugging; and rewrite engines.

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 Rewriting Logic and Its Applications
Author Peter Csaba Ölveczky
Language English
Binding Book - Paperback
Date of issue 2010
Number of pages 264
EAN 9783642163098
ISBN 3642163092
Libristo code 01656796
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 417
Dimensions 155 x 231 x 15

Categories

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
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

History of the town of Rockport Ebenezer Pool / Book Paperback
common.buy 22.84 € 44.67 лв
Selection From The Discourses Of Epictetus With The Encheiridion George Long / Book Paperback
common.buy 23.10 € 45.18 лв
Common Pornography Kevin Sampsell / Book Paperback
common.buy 13.85 € 27.08 лв
SHAKESPEARE ILLUS BY OLD AUTHO William Lowes Rushton / Book Hardback
common.buy 30.70 € 60.04 лв
2017 Tudor Planner Heather a. Teysko / Book Hardback
common.buy 32.40 € 63.38 лв
Diry Jokes for all occastions Richard Ouellette Jr / Book Paperback
common.buy 9.40 € 18.39 лв
365 Addition Worksheets with Three 4-Digit Addends: Math Practice Workbook Kapoo Stem / Book Paperback
common.buy 23.82 € 46.59 лв
Fairies of the Wild Wild Moon: Real Encounters with Extradimensionals Vyvyan Ogma Wyverne / Book Paperback
common.buy 10.33 € 20.21 лв
Fruitful Life Tony Horsfall / Book Paperback
common.buy 10.38 € 20.31 лв
Database Systems Paul Beynon-Davies / Book Paperback
common.buy 110.09 € 215.32 лв
Cabal Seminar 4 Volume Hardback Set Benedikt Löwe / Book Hardback
common.buy 374.85 € 733.14 лв
Ayurveda: / Book Paperback
common.buy 13.18 € 25.77 лв
Kingston City Directory From July 1915 to July 1916, Including Directories of Barriefield, Cataraqui Garden Island and Portsmouth.; 1915-1916 Leman a. and George Hanson Pu Guild / Book Paperback
common.buy 24.03 € 47.00 лв
The Next Draft: Inspiring Craft Talks from the Rainier Writing Workshop Brenda Miller / Book Paperback
common.buy 30.96 € 60.55 лв
No Worries! Katie Abey / Book Paperback
common.buy 6.25 € 12.22 лв
Terrorism and Counter-Terrorism in Modern Sub-Saharan Africa János Besenyö / Book Hardback
common.buy 145.29 € 284.17 лв
Esoteric Traditions of the World Laing Z. Matthews / Book Paperback
common.buy 22.01 € 43.06 лв
Introduction to Nanotheranostics Tamil Selvan Subramanian / Book Paperback
common.buy 54.37 € 106.34 лв
CBT Handbook Rhena Branch / Book Hardback
common.buy 147.41 € 288.31 лв
Generation and expansion of mitochondrial DNA deletions in dopaminergic neurons: new evidences for a direct role of dopamine metabolism Johannes Neuhaus / Book Paperback
common.buy 39.49 € 77.23 лв
Coming soon
Kremlin of Kazan Through the Ages Nigel Davis / Book Paperback
common.buy 64.45 € 126.06 лв
11+ Non-Verbal Reasoning Practice Papers 1 Neil R Williams / Book Paperback
common.buy 16.54 € 32.34 лв
Russian Literature: A Very Short Introduction Catriona Kelly / Book Paperback
common.buy 10.64 € 20.82 лв
New Headway: Intermediate Third Edition: Student's Book A Soars / Book Paperback
common.buy 37.83 € 73.99 лв

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?