César A. Muñoz – författare

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

3 produkter

Kategorier

3 produkter

NASA Formal Methods
13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings
AvAaron Dutle,Mariano M. Moscatom. fl.
Häftad, Engelska, 2021
1 199 kr
Skickas inom 10-15 vardagar
Del 10499
Del 10499 - Lecture Notes in Computer Science
Interactive Theorem Proving
8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
AvMauricio Ayala-Rincón,César A. Muñoz
Häftad, Engelska, 2017
729 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
AvVictor A. Carreno,Cesar A. Munozm. fl.
Häftad, Engelska, 2002
729 kr
Skickas inom 10-15 vardagar