Data & IT
Pocket
Relational and Algebraic Methods in Computer Science
Jules Desharnais • Walter Guttmann • Stef Joosten
759:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Illustratör: Bibliographie 30 schwarz-weiße Abbildungen
- Format: Pocket/Paperback
- ISBN: 9783030021481
- Språk: Engelska
- Antal sidor: 385
- Utgivningsdatum: 2018-10-06
- Förlag: Springer Nature Switzerland AG