Swarat Chaudhuri - Böcker

Visar alla böcker från författaren Swarat Chaudhuri.

3 produkter

Kategorier

3 produkter

NASA Formal Methods

15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings

Av Kristin Yvonne Rozier, Swarat Chaudhuri

Häftad, Engelska, 2023

2 039 kr

Skickas inom 7-10 vardagar

Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

Av Swarat Chaudhuri, Azadeh Farzan

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

Av Swarat Chaudhuri, Azadeh Farzan

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar