Košík
zboží
(prázdné)
-
Tools and Algorithms for the Construction and Analysis of Systems
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); PelNení skladem 2 265 KčDo košíku -
25 Years of Model Checking
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); PelNení skladem 442 KčDo košíku -
Logic for Programming, Artificial Intelligence, and Reasoning
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); PelNení skladem 2 360 KčDo košíku -
Perspectives of Systems Informatics
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); PelNení skladem 603 KčDo košíku -
Languages: From Formal to Natural
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); PelNení skladem 1 628 KčDo košíku -
Model Checking
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); PelNení skladem 1 988 KčDo košíku -
Model Checking
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); PelNení skladem 1 520 KčDo košíku
Naposledy prohlédnuté
Vyzvednutí zásilky kdekoliv v ČR
