Cărți de Serdar Tasiran

Computer Aided Verification

Autor Serdar Tasiran et al.

7 oct 2020

Preț: 348^.73 lei 435^.91 lei

43-57 zile

-20%

Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7687

Editat de Shaz Qadeer et al.

11 ian 2013

Preț: 324^.86 lei 406^.08 lei

43-57 zile

-20%

Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

Lecture Notes in Computer Science, nr. 4839

Editat de Oleg Sokolsky et al.

12 dec 2007

Preț: 320^.38 lei 400^.47 lei

43-57 zile

-20%