Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Inbunden, Engelska, 2025
Av Norman Rubin
459 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 11 mm
- Vikt426 g
- FormatInbunden
- SpråkEngelska
- Antal sidor176
- FörlagHutson Street Press
- ISBN9781024204735