Košík
zboží
(prázdné)
Kontakt
Účet
-
Logic for Programming, Artificial Intelligence, and Reasoning
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); Pel Není sklademMega nabídka2 470 Kč
Do košíku
-
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 Není sklademVýhodné2 375 Kč
Do košíku
-
Languages: From Formal to Natural
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); Pel Není sklademMega nabídka1 738 Kč
Do košíku
-
Perspectives of Systems Informatics
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); Pel Není sklademSkvělá cena!682 Kč
Do košíku
-
25 Years of Model Checking
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); Pel Není sklademSkvělá cena!515 Kč
Do košíku
-
Model Checking
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); Pel Není sklademMega nabídka2 068 Kč
Do košíku
-
Model Checking
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); Pel Není sklademMega nabídka1 630 Kč
Do košíku
Naposledy prohlédnuté
Vyzvednutí zásilky kdekoliv v ČR
Sledujte nás:
