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
Dostępność:
Dostępna u dostawcy
Wysyłamy za 5-8 dni
423.49
zł
This book constitutes the refereed proceedings of the 21st International Workshop on Computer Scienc...
