Cărți de Swarat Chaudhuri

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ț: 589^.34 lei 736^.68 lei

43-57 zile

-20%

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ț: 338^.65 lei 423^.31 lei

43-57 zile

-20%