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ț: 631^.00 lei 788^.75 lei

43-57 zile

-20%

Computer Aided Verification

Lecture Notes in Computer Science, nr. 9780

Editat de Swarat Chaudhuri et al.

14 iul 2016

Preț: 334^.47 lei 418^.08 lei

43-57 zile

-20%