Relational and Algebraic Methods in Computer Science / Lecture Notes in Computer Science Bd.11194 (PDF)
17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings
(Sprache: Englisch)
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...
The 21 full papers and 1 invited...
sofort als Download lieferbar
eBook (pdf)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Relational and Algebraic Methods in Computer Science / Lecture Notes in Computer Science Bd.11194 (PDF)“
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.
Bibliographische Angaben
- 2018, 1st ed. 2018, 385 Seiten, Englisch
- Herausgegeben: Jules Desharnais, Walter Guttmann, Stef Joosten
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3030021491
- ISBN-13: 9783030021498
- Erscheinungsdatum: 22.10.2018
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 9.44 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Relational and Algebraic Methods in Computer Science / Lecture Notes in Computer Science Bd.11194"
Schreiben Sie einen Kommentar zu "Relational and Algebraic Methods in Computer Science / Lecture Notes in Computer Science Bd.11194".
Kommentar verfassen