Relational and Algebraic Methods in Computer Science: 17th International Conference, Ramics 2018, Groningen, the Netherlands, October 29 - November 1, (Paperback) (ISBN-13: 9783030021481)

Vendor: Jules Desharnais
Product type: Books
Format: Paperback
$54.99
$54.99
$54.99
Subtotal: $54.99
WR Book House

Relational and Algebraic Methods in Computer Science: 17th International Conference, Ramics 2018, Groningen, the Netherlands, October 29 - November 1,

$54.99

Relational and Algebraic Methods in Computer Science: 17th International Conference, Ramics 2018, Groningen, the Netherlands, October 29 - November 1,

$54.99
Format: Paperback
Description
Description
x

This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.

The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools.



Author: Jules Desharnais
ISBN-10: 3030021483
ISBN-13: 9783030021481
Publisher: Springer
Language: English
Published: 10/06/2018
Pages: 385
Format: Paperback
Weight: 1.24lbs
Size: 9.21h x 6.14w x 0.83d

Recently Viewed Products