Hoppa till sidans huvudinnehåll

Semantics Structures in Computation – serie

Visar alla böcker i serien Semantics Structures in Computation.
6 produkter
Klaus Keimel, Guo-Qiang Zhang, Ying Ming Liu, Yixiang Chen - Domains and Processes, Inbunden

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 399 kr

Skickas inom 10-15 vardagar

P.B. Levy - Call-By-Push-Value, Inbunden

Call-By-Push-Value

A Functional/Imperative Synthesis

AvP.B. Levy

Inbunden, Engelska, 2003

2 379 kr

Skickas inom 10-15 vardagar

Guo-Qiang Zhang, J. Lawson, Ying Ming Liu, M.K. Luo - Domain Theory, Logic and Computation, Inbunden

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 099 kr

Skickas inom 10-15 vardagar

Guo-Qiang Zhang, J. Lawson, Ying Ming Liu, M.K. Luo - Domain Theory, Logic and Computation, Häftad
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 099 kr

Skickas inom 10-15 vardagar

P.B. Levy - Call-By-Push-Value, Häftad

Call-By-Push-Value

A Functional/Imperative Synthesis

AvP.B. Levy

Häftad, Engelska, 2012

1 679 kr

Skickas inom 10-15 vardagar

Klaus Keimel, Guo-Qiang Zhang, Ying Ming Liu, Yixiang Chen - Domains and Processes, Häftad

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 399 kr

Skickas inom 10-15 vardagar