Theorem Proving in Higher Order Logics
Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar
Häftad, 2002
558 kr
Formal Modeling and Analysis of a Preliminary Small Aircraft Transportation System (SATS)Concept
Häftad, Engelska, 2013
269 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
2003732 kr
Hoppa över listan
Du kanske också är intresserad av
Theorem Proving in Higher Order Logics
Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar
Häftad, 2002
558 kr
Theorem Proving in Higher Order Logics
Sofiene Tahar, Cesar A. Munoz, Victor A. Carreno
E-bok
2003732 kr
- Signerad!
- -19%
- Signerad!
Del 2
SIGNERAD - Kopians hämnd
IJustWantToBeCool, Joel Adolphson, Emil Ejdemo Beer, Victor Beer
Inbunden, 2026
189 kr
- Nyhet
Del 1
- -30%
- -19%
Del 1
- -23%