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

Visar alla böcker från författaren César A. Muñoz.

3 produkter

1. 

   NASA Formal Methods

   13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings

   Av Aaron Dutle, Mariano M. Moscato m. fl.

   Häftad, 2021

   1219 kr

   Lägg i varukorg

2. 

   Interactive Theorem Proving

   8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

   Av Mauricio Ayala-Rincón, César A. Muñoz

   Häftad, 2017

   739 kr

   Lägg i varukorg

3. 

   Theorem Proving in Higher Order Logics

   15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings

   Av Victor A. Carreno, Cesar A. Munoz m. fl.

   Häftad, 2002

   739 kr

   Lägg i varukorg