Košík
zboží
(prázdné)
Kontakt
Účet
MEGA VÝHODNÉ
-
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 448 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í sklademVýhodné1 716 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 353 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!665 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!499 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 048 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 608 Kč
Do košíku
Naposledy prohlédnuté
Vyzvednutí zásilky kdekoliv v ČR
Sledujte nás:
