Hoppa till sidans huvudinnehåll

Semantics Structures in Computation – serie

Visar alla böcker i serien Semantics Structures in Computation.
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 409 kr

Skickas inom 10-15 vardagar

Call-By-Push-Value

A Functional/Imperative Synthesis

AvP.B. Levy

Inbunden, Engelska, 2003

2 389 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 109 kr

Skickas inom 10-15 vardagar

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

Skickas inom 10-15 vardagar

Call-By-Push-Value

A Functional/Imperative Synthesis

AvP.B. Levy

Häftad, Engelska, 2012

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

Skickas inom 10-15 vardagar