Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Norman Rubin
Inbunden, 2025
469 kr
My Life
Häftad, Engelska, 2024
309 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
- Utgivningsdatum2024-11-16
- Mått152 x 229 x 8 mm
- Vikt213 g
- FormatHäftad
- SpråkEngelska
- Antal sidor152
- FörlagSeraphim Global Media LLC
- ISBN9781965951095
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
269 kr