Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Norman Rubin
Inbunden
341 kr
174 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
Hoppa över listan
Du kanske också är intresserad av
Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Norman Rubin
Inbunden
341 kr
- Signerad!
Del 11
- Nyhet
Burgare : så gör du världens bästa burgare hemma
Linus Josephson, Toby Lee, Selin Safer
Inbunden
279 kr
- Nyhet
- Nyhet
- Signerad!