Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Norman Rubin
Inbunden, 2025
363 kr
My Life
Fact Is Stranger Than Fiction
Inbunden, Engelska, 2023
401 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Produktinformation
Utforska 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
209 kr
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
Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Norman Rubin
Häftad, 2025
209 kr
- 10% rabatt på allt
Del 3
- 10% rabatt på allt
Del 11
- Signerad!
Del 3