Theoretical Computer Science and General Issues

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

Editors: Durán, Francisco (Ed.)

Free Preview
  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results
see more benefits

Buy this book

eBook $39.99
price for USA in USD (gross)
  • ISBN 978-3-642-34005-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $54.99
price for USA in USD
  • ISBN 978-3-642-34004-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (12 chapters)

Table of contents (12 chapters)

Buy this book

eBook $39.99
price for USA in USD (gross)
  • ISBN 978-3-642-34005-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $54.99
price for USA in USD
  • ISBN 978-3-642-34004-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Rewriting Logic and Its Applications
Book Subtitle
9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
Editors
  • Francisco Durán
Series Title
Theoretical Computer Science and General Issues
Series Volume
7571
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-34005-5
DOI
10.1007/978-3-642-34005-5
Softcover ISBN
978-3-642-34004-8
Edition Number
1
Number of Pages
VIII, 241
Number of Illustrations
51 b/w illustrations
Topics