Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Norman Rubin
Inbunden
439 kr
My Life
Fact Is Stranger Than Fiction
Inbunden, Engelska, 2025
329 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (3)
Produktinformation
- Utgivningsdatum2025-08-31
- Mått152 x 229 x 10 mm
- Vikt372 g
- FormatInbunden
- SpråkEngelska
- Antal sidor152
- FörlagSeraphim Global Media LLC
- ISBN9781965951309
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Hoppa över listan
Du kanske också är intresserad av
Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Norman Rubin
Inbunden
439 kr
- Nyhet
Del 6
- Nyhet
Hjärnans akilleshälar : hur din hjärna lurar dig, och vad du kan göra åt det
Anders Hansen
Inbunden
279 kr329 kr
- Nyhet