Cărți de Serdar Tasiran

Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers

Lecture Notes in Computer Science, nr. 14095

Editat de Andrew Reynolds et al.

5 sep 2024

Preț: 371^.63 lei

6-8 săpt.

Computer Aided Verification

Autor Serdar Tasiran et al.

7 oct 2020

Preț: 352^.95 lei 441^.19 lei

6-8 săpt.

-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ț: 328^.79 lei 410^.98 lei

6-8 săpt.

-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ț: 324^.25 lei 405^.31 lei

6-8 săpt.

-20%