Search Books
Guide to Discrete Mathemati… VLSI-SoC: Design for Reliab…

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)

Publisher Springer-Verlag New York Inc (C)
Category Computers
📄 Viewing lite version Full site ›
🌎 Shop on Amazon — choose country
72.00 USD
🛒 Buy New on Amazon 🇺🇸

✓ Not yet published

Share:
Book Details
ISBN / ASIN3319448013
ISBN-139783319448015
AvailabilityNot yet published
Sales Rank99,999,999
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.

Practical Linux Programming: Device Drivers, Embedded …
View
Microsoft Office Professional 2013: Step by Step
View
Mastering Unix Shell Scripting: Bash, Bourne, and Korn…
View
Arduino: A Technical Reference: A Handbook for Technic…
View
Statistical Computing: An Introduction to Data Analysi…
View
Data Analysis for Database Design
View
An Introduction to Software Engineering
View
DB2 Interview Questions, Answers and Explanations: DB2…
View