Skip to content

Rewriting Logic and Its Applications: 10th International Workshop, Wrla 2014,
Stock Photo: Cover May Be Different

Rewriting Logic and Its Applications: 10th International Workshop, Wrla 2014, Held as a Satellite Event of Etaps, Grenoble, France, April 5-6, 2014, R Paperback - 2014

by Santiago Escobar (Editor)


From the rear cover

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014.

The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of topics in the fields of foundations and models of RL; languages based on RL; RL as a logical framework; RL as a semantic framework; use of RL to provide rigorous support for model-based software engineering; formalisms related to RL; verification techniques for RL specifications; comparisons of RL with existing formalisms having analogous aims; application of RL to specification and analysis of distributed systems and physical systems.

Details

  • Title Rewriting Logic and Its Applications: 10th International Workshop, Wrla 2014, Held as a Satellite Event of Etaps, Grenoble, France, April 5-6, 2014, R
  • Author Santiago Escobar (Editor)
  • Binding Paperback
  • Pages 297
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Date 2014-11-21
  • Illustrated Yes
  • Features Illustrated
  • ISBN 9783319129037 / 3319129031
  • Weight 0.96 lbs (0.44 kg)
  • Dimensions 9.21 x 6.14 x 0.65 in (23.39 x 15.60 x 1.65 cm)
  • Themes
    • Aspects (Academic): Science/Technology Aspects
  • Dewey Decimal Code 005.1
Back to Top

More Copies for Sale

Rewriting Logic and Its Applications : 10th International Workshop, WRLA 2014, Held as a...
Stock Photo: Cover May Be Different

Rewriting Logic and Its Applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

by Santiago Escobar

  • New
Condition
New
ISBN 10 / ISBN 13
9783319129037 / 3319129031
Quantity Available
34
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$61.88
$10.36 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Rewriting Logic and Its Applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers.
Item Price
$61.88
$10.36 shipping to USA
Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014, Held as a Satellite...

Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

by Santiago Escobar

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783319129037 / 3319129031
Quantity Available
10
Seller
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$67.94
$12.90 shipping to USA

Show Details

Description:
Paperback / softback. New.
Item Price
$67.94
$12.90 shipping to USA
Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014, Held as a Satellite...
Stock Photo: Cover May Be Different

Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

by Escobar, Santiago (Edited by)

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783319129037 / 3319129031
Quantity Available
2
Seller
Exeter, Devon, United Kingdom
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$75.00
$12.96 shipping to USA

Show Details

Description:
Springer, 2014. Paperback. New. 2014 edition. 308 pages. 9.25x6.10x0.80 inches.
Item Price
$75.00
$12.96 shipping to USA
Rewriting Logic and Its Applications: 10th International...
Stock Photo: Cover May Be Different

Rewriting Logic and Its Applications: 10th International...

  • New
Condition
New
ISBN 10 / ISBN 13
9783319129037 / 3319129031
Quantity Available
4
Seller
Woodside, New York, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$71.22
$3.99 shipping to USA

Show Details

Description:
Springer , . Papeback. New.
Item Price
$71.22
$3.99 shipping to USA