Victor A Carreno - Böcker
Visar alla böcker från författaren Victor A Carreno.
2 produkter
2 produkter
Formal Modeling and Analysis of a Preliminary Small Aircraft Transportation System (SATS)Concept
Häftad, Engelska, 2013
329 kr
Skickas inom 3-6 vardagar
Theorem Proving in Higher Order Logics
15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
Häftad, Engelska, 2002
729 kr
Skickas inom 10-15 vardagar