Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Norman Rubin
Inbunden, 2025
449 kr
My Life
Fact Is Stranger Than Fiction
Häftad, Engelska, 2023
229 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
- Utgivningsdatum2023-11-08
- Mått152 x 229 x 11 mm
- Vikt281 g
- FormatHäftad
- SpråkEngelska
- Antal sidor206
- FörlagXlibris Us
- ISBN9798369409664
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Norman Rubin
Häftad, 2025
259 kr
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, 2025
449 kr
Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Norman Rubin
Häftad, 2025
259 kr
- Nyhet
Del 2
- Nyhet