Mauricio Ayala-Rincón - Böcker

Visar alla böcker från författaren Mauricio Ayala-Rincón.
2 produkter
Mauricio Ayala-Rincón, Flávio L. C. de Moura - Applied Logic for Computer Scientists, Häftad

Applied Logic for Computer Scientists

Av Mauricio Ayala-Rincón, Flávio L. C. de Moura

Häftad, Engelska, 2017

669 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