SEMANTICS STRUCTURES IN COMPUTATION 3 search results in Books, Audio Books & Ebooks at Pickabook.co.uk

Your search for " SERIES like 'Semantics Structures in Computation 3' " has produced 5 results.

Total number of pages displayed: 1

Select number of records to display per page:

Sort by

Select All | Add selected items to basket

Call-by-push-value(Hardback)
A Functional / Imperative Synthesis

By: Paul Blain Levy

Kluwer Academic Publishers

Published: 30/11/2003

Call-by-push-value is a programming language paradigm that breaks down the call-by-value and call-by-name paradigms into simple primitives. Aimed at graduate students and researchers, this monograph...

In Stock: None

List Price:	£139.99

Domain Theory, Logic and Computation(Hardback)
Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

By: Guo-Qiang Zhang (Editor), J.A. Lawson (Editor), Ying Ming Liu (Editor)

Springer-Verlag New York Inc.

Published: 31/01/2004

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

In Stock: None

List Price:	£149.99

Domain Theory, Logic and Computation(Paperback)
Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

By: Guo-Qiang Zhang (Editor), J. Lawson (Editor), Ying Ming Liu (Editor)

Springer

Published: 22/12/2010

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

In Stock: None

List Price:	£149.99

Call-By-Push-Value(Paperback)
A Functional/Imperative Synthesis

By: Paul Blain Levy

Springer

Published: 27/09/2012

In Stock: None

List Price:	£99.99

Domains and Processes(Paperback)
Proceedings of the 1st International Symposium on Domain Theory Sanghai, China, October 1999

By: Klaus Keimel (Editor), Guo-Qiang Zhang (Editor), Ying Ming Liu (Editor)

Springer

Published: 17/09/2012

Proceedings of the 1st International Symposium on Domain Theory

In Stock: None

List Price:	£114.00

Select All | Add selected items to basket