Cărți de Cyrille Artho

Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Communications in Computer and Information Science, nr. 476

Editat de Cyrille Artho et al.

23 apr 2015

Preț: 325^.53 lei 406^.92 lei

6-8 săpt.

-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ț: 338^.84 lei 423^.55 lei

6-8 săpt.

-20%