César Muñoz - Böcker

Visar alla böcker från författaren César Muñoz.
2 produkter
Aaron Dutle, César Muñoz, Anthony Narkawicz, Cesar Munoz - NASA Formal Methods, Häftad

NASA Formal Methods

Av Aaron Dutle, César Muñoz, Anthony Narkawicz, Cesar Munoz

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar
Otmane Ait Mohamed, César Munoz, Sofiène Tahar - Theorem Proving in Higher Order Logics, Häftad

Theorem Proving in Higher Order Logics

Av Otmane Ait Mohamed, César Munoz, Sofiène Tahar

Häftad, Engelska, 2008

739 kr

Skickas inom 10-15 vardagar