Košík
tovar
(prázdne)
Kontakt
Účet
-
MEGA VÝHODNE
-
Knihy
-
Nakupte aj
-
Tools and Algorithms for the Construction and Analysis of Systems
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); Pel Nie je na skladeVýhodné92,63 €
Do košíka
-
25 Years of Model Checking
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); Pel Nie je na skladeSkvelá cena!19,95 €
Do košíka
-
Logic for Programming, Artificial Intelligence, and Reasoning
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); Pel Nie je na sklade94,16 €
Do košíka
-
Perspectives of Systems Informatics
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); Pel Nie je na skladeSkvelá cena!26,04 €
Do košíka
-
Languages: From Formal to Natural
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); Pel Nie je na skladeVýhodné67,82 €
Do košíka
-
Model Checking
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); Pel Nie je na sklade90,69 €
Do košíka
-
Model Checking
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); Pel Nie je na sklade73,38 €
Do košíka
