César A. Muñoz – författare
Visar alla böcker från författaren César A. Muñoz.
3 produkter
3 produkter
NASA Formal Methods
13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings
Häftad, Engelska, 2021
1 189 kr
Skickas inom 10-15 vardagar
Del 10499 - Lecture Notes in Computer Science
Interactive Theorem Proving
8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Häftad, Engelska, 2017
719 kr
Skickas inom 10-15 vardagar
Theorem Proving in Higher Order Logics
15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
Häftad, Engelska, 2002
719 kr
Skickas inom 10-15 vardagar