Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Häftad, Engelska, 2025
209 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
- 10% rabatt på allt
Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Norman Rubin
Inbunden, 2025
363 kr
- Signerad!
Del 3
- 10% rabatt på allt
Del 11
- 10% rabatt på allt
Del 3