Victor A Carreno – författare

Visar alla böcker från författaren Victor A Carreno. Handla med fri frakt och snabb leverans.

3 produkter

1. 

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

   Av Victor A Carreno

   Häftad, 2013

   274 kr

   Lägg i varukorg

2. 

   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, 2002

   568 kr

   Lägg i varukorg

   Thisvolumecontainstheproceedingsofthe 15th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs2002)heldon20-23August 2002inHampton,Virginia,USA. Theconferenceservesasavenueforthep- sentationofworkintheoremprovinginhigher-orderlogics,andrelatedareas …

3. 

   Theorem Proving in Higher Order Logics

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

   Av Sofiene Tahar, Cesar A. Munoz m. fl.

   E-bok, 2003

   755 kr

   Lägg i varukorg