Cărți de Doron Peled

Model Checking

Cyber Physical Systems Series

Autor Edmund M. Clark Jr. et al.

20 dec 2018

Preț: 460^.13 lei 575^.17 lei

3-5 săpt. | 7-13 zile

-20%

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9938

Editat de Cyrille Artho et al.

22 sep 2016

Preț: 326^.52 lei 408^.15 lei

6-8 săpt.

-20%

Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

Lecture Notes in Computer Science, nr. 1633

Editat de Nicolas Halbwachs et al.

23 iun 1999

Preț: 325^.58 lei 406^.98 lei

6-8 săpt.

-20%