Victor A Carreno – författare

Visar alla böcker från författaren .

2 produkter

Kategorier

2 produkter

Victor A Carreno - Formal Modeling and Analysis of a Preliminary Small Aircraft Transportation System (SATS)Concept, Häftad

Formal Modeling and Analysis of a Preliminary Small Aircraft Transportation System (SATS)Concept

AvVictor A Carreno

Häftad, Engelska, 2013

349 kr

Skickas inom 3-6 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