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 479 kr
Skickas inom 10-15 vardagar
Swarat Chaudhuri – författare
Visar alla böcker från författaren Swarat Chaudhuri.
3 produkter
3 produkter
- 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, 2016749 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, 2016749 kr
Skickas inom 10-15 vardagar