Computer Science Logic
21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
Autor:
Jacques Duparc, Thomas A. Henzinger
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
553.26
lei
This book constitutes the refereed proceedings of the 21st International Workshop on Computer Scienc...
