Swarat Chaudhuri - Böcker
Visar alla böcker från författaren Swarat Chaudhuri.
3 produkter
3 produkter
NASA Formal Methods
15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
Häftad, Engelska, 2023
1 409 kr
Skickas inom 5-8 vardagar
Del 9779 - Lecture Notes in Computer Science
Computer Aided Verification
28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
Häftad, Engelska, 2016
709 kr
Skickas inom 10-15 vardagar
Del 9780 - Lecture Notes in Computer Science
Computer Aided Verification
28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
Häftad, Engelska, 2016
709 kr
Skickas inom 10-15 vardagar