Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Rewriting Logic and Its Applications

Best Price:
Buy Rewriting Logic and Its Applications for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.

Set a price drop alert to never miss an offer.

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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Product Details

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

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

n-Widths in Approximation Theory

n-Widths in Approximation Theory

$54.99
The European Union and Member State Territories: A New Legal Framework Under the EU Treaties

The European Union and Member State Territories: A New Legal Framework Under the EU Treaties

$39.99
Wind Driven Doubly Fed Induction Generator

Wind Driven Doubly Fed Induction Generator

$109.99
Discontinuous Control Systems

Discontinuous Control Systems

$119.00
CASL Reference Manual

CASL Reference Manual

$109.99
Cognitive Computing for Machine Thinking

Cognitive Computing for Machine Thinking

$159.99
Churchill, Borden and Anglo-Canadian Naval Relations, 1911-14

Churchill, Borden and Anglo-Canadian Naval Relations, 1911-14

$39.99
Algebraic Geometry, Sitges (Barcelona) 1983

Algebraic Geometry, Sitges (Barcelona) 1983

$54.99
Handlung in Theorie und Wissenschaft Sozialer Arbeit

Handlung in Theorie und Wissenschaft Sozialer Arbeit

$64.99
Awesome Arizona- 200 Amazing Facts about the Grand Canyon State by Roger Naylor

Awesome Arizona- 200 Amazing Facts about the Grand Canyon State by Roger Naylor

$16.95
Advances in Understanding Soil Degradation

Advances in Understanding Soil Degradation

$169.00
Private Banking

Private Banking

$79.95
Information and Communication Technology for Intelligent Systems

Information and Communication Technology for Intelligent Systems

$219.99
Kulturtouristen

Kulturtouristen

$79.99
Frontiers of Algorithmics

Frontiers of Algorithmics

$59.99
Collection of problems in probability theory

Collection of problems in probability theory

$39.99
Denkhaltungen im Design

Denkhaltungen im Design

$59.99
Spider-Ham #2: Hollywood May-Ham

Spider-Ham #2: Hollywood May-Ham

$6.74
Plant Life Cycles Text Set: Grade 1

Plant Life Cycles Text Set: Grade 1

$265.00
Herpes Zoster: Postherpetic Neuralgia and Other Complications

Herpes Zoster: Postherpetic Neuralgia and Other Complications

$109.99
Determinants of Self-employment

Determinants of Self-employment

$54.99
The Rules of Magic by Alice Hoffman

The Rules of Magic by Alice Hoffman

$18.99
Reconstructing Identity

Reconstructing Identity

$99.00
Mehrfachverletzungen

Mehrfachverletzungen

$69.99
Konstruktion der Wirklichkeit als Gesellschaftsritik

Konstruktion der Wirklichkeit als Gesellschaftsritik

$89.99
Functional Imaging of the Chest

Functional Imaging of the Chest

$39.99
Mathematical Research for Blockchain Economy

Mathematical Research for Blockchain Economy

$149.00
Der Risikopatient in der Ansthesie

Der Risikopatient in der Ansthesie

$69.99
Don't Let the Pigeon Finish This Activity Book! by Mo Willems

Don't Let the Pigeon Finish This Activity Book! by Mo Willems

$19.99
Advocacy Group Effects in Global Governance

Advocacy Group Effects in Global Governance

$109.00
Monetary and Wage Policies in the Euro Area

Monetary and Wage Policies in the Euro Area

$109.99
Facilitating Freedom of Religion or Belief: A Deskbook

Facilitating Freedom of Religion or Belief: A Deskbook

$109.99
Common Corporate Tax Base (CC(C)TB) and Determination of Taxable Income

Common Corporate Tax Base (CC(C)TB) and Determination of Taxable Income

$84.99
Mid-Tudor Queenship and Memory

Mid-Tudor Queenship and Memory

$139.99
Punishment and Desert

Punishment and Desert

$54.99
Computing Systems for Autonomous Driving

Computing Systems for Autonomous Driving

$139.99
Role of Phenolic Phytochemicals in Diabetes Management

Role of Phenolic Phytochemicals in Diabetes Management

$169.99
Global-Regional Linkages in the Earth System

Global-Regional Linkages in the Earth System

$109.99
Annual Evaluation Report of China's Cultural Consumption Demand

Annual Evaluation Report of China's Cultural Consumption Demand

$84.99
George Eliot and Intoxication

George Eliot and Intoxication

$84.99
previous
next