César A. Muñoz - Böcker

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, Cesar A. Munoz - NASA Formal Methods, Häftad

NASA Formal Methods

Av Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez, Cesar A. Munoz

Häftad, Engelska, 2021

1 219 kr

Skickas inom 7-10 vardagar
Mauricio Ayala-Rincon, Cesar A. Munoz, Mauricio Ayala-Rincón, César a. Muñoz, César A. Muñoz - Interactive Theorem Proving, Häftad

Interactive Theorem Proving

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

Häftad, Engelska, 2017

719 kr

Skickas inom 7-10 vardagar
Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar - Theorem Proving in Higher Order Logics, Häftad
Del 2410 - Lecture Notes in Computer Science

Theorem Proving in Higher Order Logics

Av Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar

Häftad, Engelska, 2002

739 kr

Skickas inom 7-10 vardagar