Theorem Proving in Higher Order Logics
Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar
Häftad, 2002
560 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, 2003734 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 214 kr
NASA Formal Methods
Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez
Häftad, 2021
920 kr
Formal Modeling and Analysis of a Preliminary Small Aircraft Transportation System (SATS)Concept
Victor A Carreno
Häftad, 2013
269 kr
Del 10499
- -30%
Del 1
- 4 för 3
- -19%
- 4 för 3