Swarat Chaudhuri – författare
Visar alla böcker från författaren .
3 produkter
3 produkter
Del 13903 - Lecture Notes in Computer Science
NASA Formal Methods
15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
Häftad, Engelska, 2023
1 439 kr
Skickas inom 10-15 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
729 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
729 kr
Skickas inom 10-15 vardagar