Relational and Algebraic Methods in Computer Science

17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings

Автор: Jules Desharnais, Walter Guttmann, Stef Joosten

Език:

Корици: С меки корици

Издател: Springer Nature Switzerland AG

Наличност: Външен склад

Изпращаме след 5-8 дни

50.19 € 98.16 лв

This book constitutes the proceedings of the 17th International Conference on Relational and Algebra...

Информация за книгата

Автор

Jules Desharnais, Walter Guttmann, Stef Joosten

Език

Английски език

Корици

Книга - С меки корици

Издадена

2018

страници

385

EAN

9783030021481

Enbook ID

20227436

Издател

Springer Nature Switzerland AG

Теглоt

617

Размери

155 x 235 x 23

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Relational and Algebraic Methods in Computer Science

17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също