Overview
- Includes supplementary material: sn.pub/extras
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10226)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: RAMICS 2017.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (19 papers)
-
Invited Papers
-
Contributed Papers
Other volumes
-
Relational and Algebraic Methods in Computer Science
Keywords
- big software
- dynamic systems
- open source software
- probabilistic semantics
- semantics
- boolean algebra
- coalgebras
- concurrency
- constraint satisfaction
- graph transformation
- information flow
- information systems design
- isabelle/hol
- partial order
- programming language
- security
- software development
- source code
- temporal logic
- xml documents
About this book
The 17 revised full papers and 2 invited papers presented together with 1 invited abstract were carefully selected from 28 submissions. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.
Editors and Affiliations
Bibliographic Information
Book Title: Relational and Algebraic Methods in Computer Science
Book Subtitle: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
Editors: Peter Höfner, Damien Pous, Georg Struth
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-57418-9
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-57417-2Published: 25 April 2017
eBook ISBN: 978-3-319-57418-9Published: 08 May 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 323
Number of Illustrations: 24 b/w illustrations
Topics: Mathematical Logic and Formal Languages, Symbolic and Algebraic Manipulation, Logics and Meanings of Programs, Software Engineering, Artificial Intelligence, Discrete Mathematics in Computer Science