IHR WARENKORB IST AKTUELL LEER.

Haben Sie noch nichts passendes gefunden? Stöbern Sie durch unser komplettes Sortiment.

Oder melden Sie sich an bzw. registrieren Sie sich.

Ihre Vorteile

Kostenlose Lieferung
Kauf auf Rechnung
Ex Libris Tiefpreis
Filiallieferung und 650+ Abholorte
Rabatt-Bons als Club-Mitglied

Relational and Algebraic Methods in Computer Science

Name: Relational and Algebraic Methods in Computer Science
Brand: Springer
SKU: 73161633
Price: 80.8 CHF
Availability: InStock

Beschreibung

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 tog...

Format auswählen

Kartonierter EinbandCHF 80.80
E-Book (pdf)CHF 55.90

Kartonierter Einband

CHF80.80

E-Book (pdf)

CHF55.90

TIEFPREIS

CHF80.80

Print on Demand - Exemplar wird für Sie gedruckt.

Kostenlose Lieferung

Kein Rückgaberecht

Beschreibung

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.