Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Häftad, Engelska, 2025
Av Norman Rubin
269 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 (1)
Produktinformation
- Utgivningsdatum2025-05-22
- Mått156 x 234 x 10 mm
- Vikt254 g
- FormatHäftad
- SpråkEngelska
- Antal sidor176
- FörlagHutson Street Press
- ISBN9781024208504