Relational and Algebraic Methods in Computer Science: 17th International Confere
68,58 €
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.
Jetzt bei Ebay:
