Cărți de Cyrille Artho

Automated Technology for Verification and Analysis

Lecture Notes in Computer Science, nr. 9938

Editat de Cyrille Artho et al.

22 sep 2016

Preț: 334^.63 lei 418^.29 lei

6-8 săpt.

-20%

Formal Techniques for Safety-Critical Systems

Communications in Computer and Information Science, nr. 694

Editat de Cyrille Artho et al.

16 feb 2017

Preț: 318^.04 lei 397^.55 lei

6-8 săpt.

-20%