FM 2015: Formal Methods
Editat de Nikolaj Bjørner et al.
2 iun 2015
Paperback
Preț: 337.91 lei 422.39 lei
43-57 zile
-20%
Cărți de Nikolaj Bjørner
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings
Editat de Nikolaj Bjørner et al.
12 iul 2011
Paperback
Preț: 333.68 lei 417.09 lei
43-57 zile
-20%
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings
Editat de Nikolaj Bjørner et al.
24 feb 2012
Paperback
Preț: 328.16 lei 410.20 lei
43-57 zile
-20%
Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
Editat de Nikolaj Bjørner et al.
14 dec 2019
Paperback
Preț: 319.13 lei 398.90 lei
43-57 zile
-20%