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 (Herausgeber)

Buch | Softcover

XVI, 385 Seiten

2018
Springer International Publishing (Verlag)
9783030021481 (ISBN)

Artikel merken

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.

Invited Paper.- Theoretical Foundations.- Reasoning about Computations and Programs.- Applications and Tools.

Erscheinungsdatum	08.10.2018
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Theoretical Computer Science and General Issues
Zusatzinfo	XVI, 385 p. 30 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	617 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Applications • Artificial Intelligence • Computer Science • conference proceedings • Constraint Programming • Formal Logic • Informatics • Matrix Algebra • Model Checking • Problem Solving • Programming Languages • Program verification • Protocol Verification • Relation algebras • Research • Semantics • set theory • Software engineering • Software Evaluation • Spatial Reasoning • theorem proving
ISBN-13	9783030021481 / 9783030021481
Zustand	Neuware