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

9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Rewriting Logic and Its Applications Francisco Durán
Libristo code: 01662337
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2012
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Wor... Full description
? points 121 b
50.12 €
98.03  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Le Palais d'Orsay Lewandowski / Book Book
common.buy 28.45 € 55.64 лв
Edens zero Hiro Mashima / Book Paperback
common.buy 7.81 € 15.27 лв
Top
Wschód słońca w dniu dożynek. Igrzyska śmierci. Tom 5 Suzanne Collins / Book Paperback
common.buy 11.22 € 21.95 лв
Bébé Balthazar - La journée de Bébé Balthazar - Pédagogie Montessori Marie-Hélène Place / Book Book
common.buy 27.26 € 53.31 лв
TERRES DES SIGNES 1 TERRES DES SIGNES 1 / Book Paperback
common.buy 14.69 € 28.72 лв
Développement de la relation commerciale dans un environnement interculturel, BTS Commerce international (2021) - Pochette élève BIDAULT / Book Paperback
common.buy 37.97 € 74.26 лв
Unterwegs im Elsass - Terminplaner (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo / Calendar/Diary Calendar
common.buy 30.05 € 58.78 лв
Аюрведа. Философия и травы Ян Раздобурдин / Book Paperback
common.buy 11.22 € 21.95 лв
Jedz jak Geniusz Max Lugavere / Book Paperback
common.buy 13.76 € 26.90 лв
Activité hépatoprotectrice de la nouvelle formulation polyherbale Ashish Kandalkar / Book Paperback
common.buy 35.90 € 70.21 лв
L'argumentation dans les contextes de l'education Muller Mirza Nathalie Muller Mirza / E-book Adobe ePub DRM
common.buy 64.14 € 125.45 лв
Lignes essentielles 2022 : Nos essenti'elles Mockly / Book Paperback
common.buy 23.53 € 46.03 лв
Hipertensión : guía para conocer y evitar sus riesgos NetDoctor. co. uk / Book Paperback
common.buy 18.77 € 36.72 лв
Management des globalen Managements - Managing Global Management Gebhard Deissler / Book Paperback
common.buy 50.02 € 97.83 лв
grand voyage au pays des Hurons Gabriel Sagard / Book Paperback
common.buy 17.12 € 33.48 лв
Alter Der Babylonischen Astronomie Alfred Jeremias / Book Paperback
common.buy 24.57 € 48.05 лв
Armenfursorge bei Wilhelm Loehe und das Werk "Das Armenwesen nach all seinen Richtungen... von Charles Duchatel und Francois Naville Michael Martin Nachtrab / Book Paperback
common.buy 17.12 € 33.48 лв
Anerkennung und absolute Religion Thomas M Schmidt / Book Hardback
common.buy 107.91 € 211.05 лв
Ludger Brummer Karl Bellenberg / Book Paperback
common.buy 17.12 € 33.48 лв
Wissenschaftssprache Deutsch Michael Szurawitzki / Book Paperback
common.buy 60.37 € 118.07 лв
El Inventor: Benjamin Franklin Melissa A. Settle / Book Paperback
common.buy 9.20 € 18.00 лв
Cite Promise (La) Doris May Lessing / Book Paperback
common.buy 32.79 € 64.14 лв
Bewusstseins-Welten Wolfgang Marx / Book Hardback
common.buy 160.00 € 312.94 лв
Boxeo tailandés, muay thai Marco De Cesaris / Book Paperback
common.buy 20.17 € 39.45 лв

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012.§The 8 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: foundations and models, languages, logical and semantic framework, model-based software engineering, real-time and probabilistic extensions, verification techniques, and distributed 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 Rewriting Logic and Its Applications
Author Francisco Durán
Language English
Binding Book - Paperback
Date of issue 2012
Number of pages 241
EAN 9783642340048
ISBN 3642340040
Libristo code 01662337
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 391
Dimensions 155 x 235 x 14

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
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
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

Seets i' Yorkshire and Lancashire John Hartley / Book Paperback
common.buy 17.12 € 33.48 лв
Calvin vs. Wesley Thorsen / Book Paperback
common.buy 17.27 € 33.78 лв
Essays: Historical And Biographical, Political, Social, Literary And Scientific Hugh Miller / Book Paperback
common.buy 41.07 € 80.33 лв
Can You Hear Me Now? Jake Moran / Book Paperback
common.buy 14.74 € 28.83 лв
Teacher's Source Book for Mathematics in Classes 6 to 8 Jamie York / Book Paperback
common.buy 22.60 € 44.21 лв
Super Gospel Robert C Ferrell / Book Hardback
common.buy 41.07 € 80.33 лв
Social and Political Philosophy: Readings from Plato to Gandhi John Somerville / Book Paperback
common.buy 16.55 € 32.37 лв
The Cross from a Distance: A Biblical Theology of the Dwelling Place of God Peter G. Bolt / Book Paperback
common.buy 23.89 € 46.73 лв
Top
Frameworks for Internal Medicine Andre Mansoor / Book Paperback
common.buy 65.33 € 127.78 лв
The Complete Grimm's Fairy Tales Grimm / Book Paperback
common.buy 11.07 € 21.64 лв
Too Far Gone / Book Paperback
common.buy 20.89 € 40.87 лв
New Results in Numerical and Experimental Fluid Mechanics XI Andreas Dillmann / E-book Adobe ePub DRM
common.buy 252.81 € 494.45 лв
Haiku, Other Arts, and Literary Disciplines Toru Kiuchi / E-book Adobe ePub DRM
common.buy 132.53 € 259.21 лв
International Financial Management BEKAERT GEERT / Book Hardback
common.buy 116.08 € 227.04 лв
World of Final Fantasy VII Jason C. Cash / Book Paperback
common.buy 59.80 € 116.95 лв
The Good Fight Shirley Chisholm / Audiobook MP3
common.buy 13.29 € 25.99 лв
The Legends of King Arthur and His Knights Sir James Knowles / Book Paperback
common.buy 9.41 € 18.40 лв
101 Group Theory for Chemists: A practical guide to apply symmetry to chemical problems Dr Christoph Sontag / Book Paperback
common.buy 14.74 € 28.83 лв
Irish Fairy and Folk Tales / Book Hardback
common.buy 19.45 € 38.03 лв
Virginia Test Prep Persuasive Writing Workbook Grade 5: A Complete Guide to Writing Opinion Pieces V Hawas / Book Paperback
common.buy 21.05 € 41.17 лв
Hole in the Middle Kendra Fortmeyer / Book Paperback
common.buy 10.29 € 20.12 лв
Lonely Planet Brazil Lonely Planet / Book Paperback
common.buy 39.21 € 76.68 лв
Top
Elmo Andrea Posner-Sanchez / Book Board book
common.buy 6.98 € 13.65 лв
Closing The Racial Wealth Gap: 7 Untold Rules for Black Prosperity and Legacy Eugene Mitchell / Book Hardback
common.buy 25.29 € 49.47 лв

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?