Rewriting Logic and Its Applications Image close
Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
Show Hide Adult Content
Rewriting Logic and Its Applications close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development

Rewriting Logic and Its Applications

13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$136.99
RRP:
$158.95 save $21.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $34.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Theory and Applications of Models of Computation
$333.99
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 21 May 2024
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$184.99
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Discrete Geometry and Mathematical Morphology by Sara Brunetti
$286.99
Discrete Geometry and Mathematical Morphology
by Sara Brunetti ~ Paperback / softback
Pre-order - out 6 Jun 2024
DIANA. An Intermediate Language for Ada
$83.99
DIANA. An Intermediate Language for Ada
Paperback / softback
Available - Usually ships in 3-4 weeks
Application and Theory of Petri Nets and Concurrency
$207.99
Application and Theory of Petri Nets and Concurrency
Paperback / softback
Available - Usually ships in 3-4 weeks
Transactions on Petri Nets and Other Models of Concurrency XVI
$243.99
Transactions on Petri Nets and Other Models of Concurrency XVI
Paperback / softback
Available - Usually ships in 3-4 weeks
High Performance Computing
$219.99
High Performance Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematical Foundations of Programming Semantics Save $53
$143.99
$197.95
Mathematical Foundations of Programming Semantics
Paperback / softback
Available - Usually ships in 3-4 weeks
Descriptional Complexity of Formal Systems
$161.99
Descriptional Complexity of Formal Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Next Generation Arithmetic
$149.99
Next Generation Arithmetic
Paperback / softback
Available - Usually ships in 3-4 weeks
Parallel and Distributed Processing and Applications Save $62
$140.99
$203.95
Parallel and Distributed Processing and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Combinatorics and Computer Science Save $42
$153.99
$196.95
Combinatorics and Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Distributed Computing Save $56
$139.99
$196.95
Distributed Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Data Mining and Bioinformatics
$140.99
Data Mining and Bioinformatics
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Information and Computer Security Save $74
$139.99
$214.95
Advances in Information and Computer Security
Paperback / softback
Available - Usually ships in 3-4 weeks
Implementation of Functional Languages
$135.99
Implementation of Functional Languages
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020.Due to the COVID-19 pandemic the workshop took place virtually. The 11 full papers presented in this volume were carefully reviewed and selected from 16 submissions Rewriting logic is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application fields.
Release date Australia
December 11th, 2020
Contributors
  • Edited by Narciso Marti-Oliet
  • Edited by Santiago Escobar
Pages
217
Edition
1st ed. 2020
Audience
  • Professional & Vocational
Illustrations
11 Illustrations, color; 28 Illustrations, black and white; VII, 217 p. 39 illus., 11 illus. in color.
ISBN-13
9783030635947
Product ID
34028063

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design