Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Inbunden, Engelska, 2025
351 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
- Nyhet
Ät för din ålder : Kokbok och guide för dig i klimakteriet
Caroline Wilbois, Johanna Andersson
Inbunden
279 kr
- -30%
- -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
Del 1
- Signerad!