Cărți de Sanjit A. Seshia

Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Lecture Notes in Computer Science, nr. 9593

Editat de Arie Gurfinkel et al.

29 ian 2016

Preț: 329^.44 lei 411^.80 lei

6-8 săpt.

-20%

Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Lecture Notes in Computer Science, nr. 7358

Editat de Madhusudan Parthasarathy et al.

27 iun 2012

Preț: 357^.63 lei 447^.04 lei

6-8 săpt.

-20%