Cărți de Swarat Chaudhuri

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Lecture Notes in Computer Science, nr. 9780

Editat de Swarat Chaudhuri et al.

14 iul 2016

Preț: 331^.30 lei 414^.13 lei

6-8 săpt.

-20%

NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings

Lecture Notes in Computer Science, nr. 13903

Editat de Kristin Yvonne Rozier et al.

3 iun 2023

Preț: 631^.00 lei 788^.75 lei

6-8 săpt.

-20%