Semantics Structures In Computation – serie & böcker | Akademibokhandeln

Semantics Structures in Computation – serie

Visar alla böcker i serien Semantics Structures in Computation.

6 produkter

Kategorier

6 produkter

Domains and Processes
Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
AvKlaus Keimel,Guo-Qiang Zhangm. fl.
Inbunden, Engelska, 2001
1 439 kr
Skickas inom 10-15 vardagar
Call-By-Push-Value
A Functional/Imperative Synthesis
AvP.B. Levy
Inbunden, Engelska, 2003
2 429 kr
Skickas inom 10-15 vardagar
Domain Theory, Logic and Computation
Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
AvGuo-Qiang Zhang,J. Lawsonm. fl.
Inbunden, Engelska, 2004
2 139 kr
Skickas inom 10-15 vardagar
Del 3
Del 3 - Semantics Structures in Computation
Domain Theory, Logic and Computation
Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
AvGuo-Qiang Zhang,J. Lawsonm. fl.
Häftad, Engelska, 2010
2 149 kr
Skickas inom 10-15 vardagar
Call-By-Push-Value
A Functional/Imperative Synthesis
AvP.B. Levy
Häftad, Engelska, 2012
1 719 kr
Skickas inom 10-15 vardagar
Domains and Processes
Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
AvKlaus Keimel,Guo-Qiang Zhangm. fl.
Häftad, Engelska, 2012
1 429 kr
Skickas inom 10-15 vardagar