Filtre: Springer International Publishing AG

Cărți de Marco Bernardo

Formal Methods for Executable Software Models

Lecture Notes in Computer Science, nr. 8483

Editat de Marco Bernardo et al.

21 mai 2014

Preț: 324^.82 lei 406^.03 lei

43-57 zile

-20%

Formal Methods for Multicore Programming

Lecture Notes in Computer Science, nr. 9104

Editat de Marco Bernardo et al.

19 mai 2015

Preț: 318^.06 lei 397^.57 lei

43-57 zile

-20%