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
Dostupnosť:
Skladom u dodávateľa
Odosielame za 5-8 dní
100.00
€
This book constitutes the refereed proceedings of the 21st International Workshop on Computer Scienc...