Inbunden, Engelska, 2025
Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Av Norman Rubin
363 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Beskrivning
Produktinformation
- Utgivningsdatum: 2025-05-22
- Mått: 156 x 234 x 11 mm
- Vikt: 426 g
- Format: Inbunden
- Språk: Engelska
- Antal sidor: 176
- Förlag: Hutson Street Press
- ISBN: 9781024204735
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.