Theorem Proving in Higher Order Logics
Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar
Häftad, 2002
572 kr
Theorem Proving in Higher Order Logics
15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
AvSofiene Tahar,Cesar A. Munoz
E-bok
PDF, Engelska, 2003739 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
NASA Formal Methods
Ivan Perez, Cesar A. Munoz, Laura Titolo, Mariano M. Moscato, Aaron Dutle
E-bok
20211 211 kr
Verification and Evaluation of Computer and Communication Systems
Sofiene Tahar, Ali Mili, Hanifa Boucheneb, Kamel Barkaoui
E-bok
2017739 kr
Formalized Probability Theory and Applications Using Theorem Proving
Sofiene Tahar, Osman Hasan
E-bok
20152 950 kr
NASA Formal Methods
Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez
Häftad, 2021
941 kr
Formal Modeling and Analysis of a Preliminary Small Aircraft Transportation System (SATS)Concept
Victor A Carreno
Häftad, 2013
266 kr
Del 10499