Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Relational and Algebraic Methods in Computer Science
CHF 80.75
Auf Lager
SKU
SCR0MEGOQRM
1 Verfügbar 
Geliefert zwischen Di., 20.01.2026 und Mi., 21.01.2026
Details
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.
Inhalt
Invited Paper.- Theoretical Foundations.- Reasoning about Computations and Programs.- Applications and Tools.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783030021481
- Editor Jules Desharnais, Stef Joosten, Walter Guttmann
- Sprache Englisch
- Auflage 1st edition 2018
- Größe H235mm x B155mm x T22mm
- Jahr 2018
- EAN 9783030021481
- Format Kartonierter Einband
- ISBN 3030021483
- Veröffentlichung 06.10.2018
- Titel Relational and Algebraic Methods in Computer Science
- Untertitel 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings
- Gewicht 610g
- Herausgeber Springer International Publishing
- Anzahl Seiten 404
- Lesemotiv Verstehen
- Genre Informatik
Bewertungen
Schreiben Sie eine Bewertung
