Hoppa till sidans huvudinnehåll

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

Visar alla böcker från författaren César A. Muñoz.
3 produkter
Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez - NASA Formal Methods, Häftad

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

Mauricio Ayala-Rincón, César A. Muñoz - Interactive Theorem Proving, Häftad
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

Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar - Theorem Proving in Higher Order Logics, Häftad

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