- 10% rabatt på allt
Computer Science Logic
24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings
E-bok
PDF, Engelska, 2010739 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Model Checking
Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
Inbunden, 2018
726 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Iliano Cervesato, Helmut Veith, Andrei Voronkov
Häftad, 2008
1 139 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Andrei Voronkov, Helmut Veith, Iliano Cervesato
E-bok
20081 470 kr