Victor A Carreno - Böcker

Visar alla böcker från författaren Victor A Carreno.

2 produkter

Kategorier

2 produkter

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

Av Victor A Carreno

Häftad, Engelska, 2013

339 kr

Skickas inom 5-8 vardagar

Theorem Proving in Higher Order Logics

15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings

Av Victor A. Carreno, Cesar A. Munoz m. fl

Häftad, Engelska, 2002

729 kr

Skickas inom 10-15 vardagar