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

Bioinspired Smell and Taste Sensors

$169.99

Formal Methods for Open Object-Based Distributed Systems

$54.99

Impurity Spectra of Solids

$54.99

Generalized Multiresolution Analyses

$34.99

Grundlagen des Bauingenieurwesens

$64.99

The National Freight Buy-Out

$44.99

Faszination Pflanzen

$39.99

Votes and Budgets

$109.99

Nonlinear Dynamics and Complexity

$109.99

Ecological Notes on Wall Vegetation

$39.99

Progress of Nuclear Safety for Symbiosis and Sustainability

$109.99

Die verdeckte Gewinnausschttung als Entgelt-Differenz

$49.99

Lernen durch Auslandsaufenthalte in der Berufsausbildung

$79.99

Advanced Information Systems Engineering

$89.99

Beginning Java EE 7

$59.99

The Food Movement, Culture, and Religion

$54.99

Vielvlkerstaat thiopien

$17.99

The Inclusive Society?

$84.99

Diffusion Processes and Related Topics in Biology

$54.99

Physics of Critical Fluctuations

$39.99

The Tumor Microenvironment

$129.00

Atlas of Stem Anatomy in Herbs, Shrubs and Trees

$199.99

The Making of Barbara Pym

$119.99

Dental Anthropology

$89.00

A General Algebraic Semantics for Sentential Logics

$54.99

Recent Advancements on Expansive Soils

$109.99

Deformations of Mathematical Structures

$109.99

Interventional Pericardiology

$84.99

Adult and Pluripotent Stem Cells

$84.99

Nonlinear Functional Analysis

$79.99

Advanced Techniques for Embedded Systems Design and Test

$169.99

Logistik der Zukunft - Logistics for the Future

$54.99

EDUCATING HEALTH PROFESSIONALS: BECOMING A UNIVERSITY TEACHER

$49.99

Finite Elemente

$69.99

Exercise, Respiratory and Environmental Physiology

$199.99

React Native for iOS Development

$34.99

Respect for Thought

$109.99

Software Quality as a Foundation for Security

$109.99

India and the Quest for One World

$39.99

Interviews mit Kindern

$29.99