Theorem Proving in Higher Order Logics
Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar
Häftad, 2002
729 kr
Formal Modeling and Analysis of a Preliminary Small Aircraft Transportation System (SATS)Concept
Häftad, Engelska, 2013
339 kr
Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum2013-07-31
- Mått189 x 246 x 3 mm
- Vikt104 g
- FormatHäftad
- SpråkEngelska
- Antal sidor48
- FörlagBibliogov
- ISBN9781289261092
Tillhör följande kategorier
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
729 kr
- Nyhet
Del 3
- Nyhet
Del 6
- Nyhet