Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Rewriting Logic and Its Applications

Rewriting Logic and Its Applications

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783319129037
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Quantitative Data File for Ore Minerals

$169.00

Current Topics in Primate Vocal Communication

$129.00

System Analysis and Modeling. Technology-Specific Aspects of Models

$39.99

The Varangians

$129.99

Netzmanagement im Luftverkehr

$89.99

IoT and Smart Devices for Sustainable Environment

$179.99

Managing Climate Change and Sustainability through Behavioural Transformation

$139.99

Platform Business Models

$129.00

Build Back Better

$159.99

The Crossing of Heaven

$37.99

Ethan I Love You All Ways by Marianne Richmond

$8.99

Service-Oriented Computing

$84.99

Leadership and Organisational Effectiveness Post-COVID-19

$129.00

Stimulation and Recording Electrodes for Neural Prostheses

$54.99

Atlas of Minimally Invasive Surgery for Lung and Esophageal Cancer

$219.99

The Marketing Challenge for Industrial Companies

$109.00

Geomatic Approaches for Modeling Land Change Scenarios

$219.99

Reflections on the Analogy of Being

$39.99

Beitrge zum Zivil-, Steuer- und Unternehmensrecht

$54.99

Risk-Based Engineering

$79.99

Trust and Fairness in Open, Distributed Systems

$129.00

Genetic Damage in Human Spermatozoa

$129.00

Pattern Recognition

$54.99

Finite Elemente Programme fr Platten und Schalen

$59.99

Antifungal Metabolites of Rhizobacteria for Sustainable Agriculture

$169.99

Global Energy Transformation

$70.00

Mycorrhiza Optimization Algorithm

$44.99

Ursachen saisonaler Holzpreisschwankungen

$69.99

Teil I: Das elastische Verhalten der Metalle beim Zugversuch im Bereich der plastischen Verformung

$59.99

Fourier Analysis and Its Applications

$49.99

Australian Animation

$99.99

Praxiserfahrungen im Studium

$59.99

Fundraising at Public Regional Universities

$99.00

Minimally Invasive Percutaneous Nephrolithotomy

$179.99

Physiological, Developmental and Behavioral Effects of Marine Pollution

$109.99

Das 15-Minuten-Zielgesprch

$39.99

Die Jugend

$69.95

Antitumor Antibiotics

$84.99

Otto Sterns Verffentlichungen Band 5

$84.99

Is Death Ever Preferable to Life?

$109.99