Semantics Structures in Computation – serie

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

6 produkter

1. 

   Domains and Processes

   Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

   Av Klaus Keimel, Guo-Qiang Zhang m. fl.

   Inbunden, 2001

   1409 kr

   Lägg i varukorg

2. 

   Call-By-Push-Value

   A Functional/Imperative Synthesis

   Av P.B. Levy

   Inbunden, 2003

   2379 kr

   Lägg i varukorg

3. 

   Domain Theory, Logic and Computation

   Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

   Av Guo-Qiang Zhang, J. Lawson m. fl.

   Inbunden, 2004

   2099 kr

   Lägg i varukorg

4. 

   Domain Theory, Logic and Computation

   Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

   Av Guo-Qiang Zhang, J. Lawson m. fl.

   Häftad, 2010

   2109 kr

   Lägg i varukorg

5. 

   Call-By-Push-Value

   A Functional/Imperative Synthesis

   Av P.B. Levy

   Häftad, 2012

   1689 kr

   Lägg i varukorg

6. 

   Domains and Processes

   Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

   Av Klaus Keimel, Guo-Qiang Zhang m. fl.

   Häftad, 2012

   1409 kr

   Lägg i varukorg