Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations

Buy Now

Call-By-Push-Value - A Functional/Imperative Synthesis (Paperback, Softcover reprint of the original 1st ed. 2003) Loot Price: R3,519
Discovery Miles 35 190
Repayment Terms: R330 pm x 12*
Add to cart
Call-By-Push-Value - A Functional/Imperative Synthesis (Paperback, Softcover reprint of the original 1st ed. 2003): P. B. Levy

Call-By-Push-Value - A Functional/Imperative Synthesis (Paperback, Softcover reprint of the original 1st ed. 2003)

P. B. Levy

Series: Semantics Structures in Computation, 2

 (sign in to rate)
Loot Price R3,519 Discovery Miles 35 190 | Repayment Terms: R330 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple primitives. This monograph, written for graduate students and researchers, exposes the call-by-push-value structure underlying a remarkable range of semantics, including operational semantics, domains, possible worlds, continuations and games.

General

Imprint: Springer
Country of origin: Netherlands
Series: Semantics Structures in Computation, 2
Release date: September 2012
First published: 2003
Authors: P. B. Levy
Dimensions: 240 x 160 x 21mm (L x W x T)
Format: Paperback
Pages: 352
Edition: Softcover reprint of the original 1st ed. 2003
ISBN-13: 978-9401037525
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Science & Mathematics > Mathematics > Mathematical foundations > General
Books > Computing & IT > Computer programming > Programming languages > General
LSN: 9401037523
Barcode: 9789401037525

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Principia Mathematica (Hardcover): Russell Bertrand Russell
Principia Mathematica
Russell Bertrand Russell Hardcover R1,222 Discovery Miles 12 220
Principia Mathematica (Hardcover): Russell Bertrand Russell
Principia Mathematica
Russell Bertrand Russell Hardcover R1,261 Discovery Miles 12 610
Primary Maths for Scotland Textbook 2A - For Curriculum for Excellence Primary Maths (Paperback, Edition): Craig Lowther,...
Primary Maths for Scotland Textbook 2A…
Craig Lowther, Antoinette Irwin, … Paperback R373 R283 Discovery Miles 2 830
Elements of Geometry Upon the Inductive Method (Paperback): James Hayward
Elements of Geometry Upon the Inductive…
James Hayward Paperback R432 Discovery Miles 4 320
Elementary Lessons in Logic - Deductive and Inductive: With Copious Questions and Examples and a Vocabulary of Logical Terms...
Elementary Lessons in Logic - Deductive…
William Stanley Jevons Paperback R548 Discovery Miles 5 480
Primary Maths for Scotland Textbook 1C - For Curriculum for Excellence Primary Maths (Paperback, Edition): Craig Lowther,...
Primary Maths for Scotland Textbook 1C…
Craig Lowther, Antoinette Irwin, … Paperback R313 R238 Discovery Miles 2 380
Foundation Maths (Paperback, 7th edition): Anthony Croft, Robert Davison
Foundation Maths
Anthony Croft, Robert Davison Paperback R1,628 Discovery Miles 16 280
The Facts Matter - Essays on Logic and Cognition in Honour of Rineke Verbrugge (Paperback): Sujata Ghosh
The Facts Matter - Essays on Logic and…
Sujata Ghosh Paperback R398 Discovery Miles 3 980
Best Books gegradeerde leesreeks: Vlak 1 Boek 2: Gr 2: Leesboek - Huistaal (Afrikaans, Paperback): Best Books
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R90 R78 Discovery Miles 780
From Quantum Information to Musical Semantics (Paperback): Maria Luisa Dalla Chiara, Roberto Giuntini, Elenora Negri
From Quantum Information to Musical…
Maria Luisa Dalla Chiara, Roberto Giuntini, … Paperback R496 Discovery Miles 4 960
Mathematical Proofs: A Transition to Advanced Mathematics - Pearson New International Edition (Paperback, 3rd edition): Gary...
Mathematical Proofs: A Transition to…
Gary Chartrand, Albert Polimeni, … Paperback R2,149 Discovery Miles 21 490
A Practice Book In Arithmetic For The Second Year (Hardcover): Harriet E Sharpe
A Practice Book In Arithmetic For The…
Harriet E Sharpe Hardcover R774 Discovery Miles 7 740

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners