Theorem Proving in Higher Order Logics
Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar
Häftad, 2002
572 kr
Formal Modeling and Analysis of a Preliminary Small Aircraft Transportation System (SATS)Concept
Häftad, Engelska, 2013
266 kr
Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt över 249 kr.
Produktinformation
Utforska kategorier
Hoppa över listan
Mer från samma författare
Theorem Proving in Higher Order Logics
Sofiene Tahar, Cesar A. Munoz, Victor A. Carreno
E-bok
2003739 kr
Hoppa över listan
Du kanske också är intresserad av
- Nyhet
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
Sofiene Tahar, Cesar A. Munoz, Victor A. Carreno
E-bok
2003739 kr
- Signerad!
- Nyhet
Del 11
- Signerad!
Del 3
- Nyhet
- Nyhet
- -19%