Cărți de David Naumann

Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8963

Editat de David Naumann

4 feb 2015

Preț: 268^.55 lei 335^.69 lei

6-8 săpt.

-20%

Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7498

Editat de Rohit Gheyi et al.

11 aug 2012

Preț: 426^.41 lei 533^.00 lei

6-8 săpt.

-20%