Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Norman Rubin
Inbunden
351 kr
249 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
351 kr
- -21%
Hjärnans akilleshälar : hur din hjärna lurar dig, och vad du kan göra åt det
Anders Hansen
Inbunden
229 kr289 kr
- Nyhet
Ät för din ålder : Kokbok och guide för dig i klimakteriet
Caroline Wilbois, Johanna Andersson
Inbunden
279 kr
- -30%
- Signerad!