Get Free Shipping on orders over $89
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 - Dorel Lucanu

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

By: Dorel Lucanu (Editor)

Paperback | 18 August 2016

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business 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.

More in Mathematical Theory of Computation

AI Engineering : Building Applications with Foundation Models - Chip Huyen
Discrete Mathematics for Computing : Grassroots - Peter Grossman

RRP $150.00

$117.75

21%
OFF
Nonlinear Analysis for Human Movement Variability - Aaron D. Likens

RRP $194.00

$171.75

11%
OFF
Mathematical Foundations of Deep Learning : Theory and Algorithms - Xiaojing Ye
Introduction to Modern Cryptography : Revised Third Edition - Jonathan Katz
Applied Mathematics with F# - Sudipta Mukherjee