Cărți de Sanjit A. Seshia

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ț: 343^.99 lei 429^.98 lei

6-8 săpt.

-20%

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ț: 316^.91 lei 396^.14 lei

6-8 săpt.

-20%