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
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
2 286
Kč
This book constitutes the refereed proceedings of the 21st International Workshop on Computer Scienc...
