0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Rewriting Logic and Its Applications - 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers (Paperback, 1st ed. 2016) Loot Price: R2,087
Discovery Miles 20 870
Rewriting Logic and Its Applications - 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven,...

Rewriting Logic and Its Applications - 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers (Paperback, 1st ed. 2016)

Dorel Lucanu

Series: Theoretical Computer Science and General Issues, 9942

 (sign in to rate)
Loot Price R2,087 Discovery Miles 20 870 | Repayment Terms: R196 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016. The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers cover several topics such as: foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; and applications.

General

Imprint: Springer International Publishing AG
Country of origin: Switzerland
Series: Theoretical Computer Science and General Issues, 9942
Release date: August 2016
First published: 2016
Editors: Dorel Lucanu
Dimensions: 235 x 155 x 11mm (L x W x T)
Format: Paperback
Pages: 185
Edition: 1st ed. 2016
ISBN-13: 978-3-319-44801-5
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Applications of computing > General
Books > Computing & IT > Computer programming > Programming languages > General
Promotions
LSN: 3-319-44801-3
Barcode: 9783319448015

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Partners