Relational and Algebraic Methods in Computer Science / Lecture Notes in Computer Science Bd.11194 (PDF)
The 21 full papers and 1 invited...
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
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.
- 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össe und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Grösse: 9.44 MB
- Ohne Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Relational and Algebraic Methods in Computer Science / Lecture Notes in Computer Science Bd.11194".
Kommentar verfassen