Cărți de Serdar Tasiran

Verified Software. Theories, Tools and Experiments

Lecture Notes in Computer Science, nr. 14095

Editat de Andrew Reynolds et al.

27 iul 2024

Preț: 312^.94 lei 391^.18 lei

6-8 săpt.

-20%

Computer Aided Verification

Autor Serdar Tasiran et al.

7 oct 2020

Preț: 345^.28 lei 431^.59 lei

6-8 săpt.

-20%

Runtime Verification

Editat de Shaz Qadeer et al.

11 ian 2013

Preț: 324^.02 lei 405^.03 lei

6-8 săpt.

-20%

Runtime Verification

Editat de Oleg Sokolsky et al.

12 dec 2007

Preț: 318^.48 lei 398^.10 lei

6-8 săpt.

-20%