Search Books
Quick JavaScript Interview …

Rewriting Logic and Its Applications: 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April ... Computer Science and General Issues)

Author Springer
Publisher Springer
Category Computers
📄 Viewing lite version Full site ›
🌎 Shop on Amazon — choose country
54.99 USD
🛒 Buy New on Amazon 🇺🇸

✓ In Stock

Share:
Book Details
Author(s)Springer
PublisherSpringer
ISBN / ASIN3319448013
ISBN-139783319448015
AvailabilityIn Stock
CategoryComputers
MarketplaceUnited States 🇺🇸

Description

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.

Windows XP, Vol. 1 (SELECT Series)
View
Internet Searching and Indexing: The Subject Approach
View
Control Problems in Industry: Proceedings from the SIA…
View
Open Source Systems Security Certification
View
Java: Data Structures and Programming
View
User-Centered Web Development
View
Query Processing in Database Systems (Topics in Inform…
View
Fundamentals of SQL Server 2005
View
Dreamweaver CS4: The Missing Manual (Spanish Edition)
View