0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (Paperback): Robert L.... Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (Paperback)
Robert L. Constable, Alexandra Silva
R1,543 Discovery Miles 15 430 Ships in 10 - 15 working days

This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in this volume reflect the breadth of his work and influence. The volume includes 19 full papers related to Dexter Kozen's research. They deal with coalgebraic methods, congruence closure; the completeness of various programming logics; decision procedure for logics; alternation; algorithms and complexity; and programming languages and program analysis. The second part of this volume includes laudatios from several collaborators, students and friends, including the members of his current band.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
For One More Day
Mitch Albom Paperback  (2)
R268 Discovery Miles 2 680
Empire Of Pain - The Secret History of…
Patrick Radden Keefe Paperback R385 R349 Discovery Miles 3 490
Counterfeit and Falsified Medicines in…
Vishv P. Kohli Hardcover R2,658 Discovery Miles 26 580
A Distant Shore
Karen Kingsbury Hardcover R632 Discovery Miles 6 320
Flawed Convictions - "Shaken Baby…
Deborah Tuerkheimer Hardcover R1,669 Discovery Miles 16 690
The English Patient
Michael Ondaatje Paperback  (1)
R309 R282 Discovery Miles 2 820
Saint Francis and the Sultan - The…
John V. Tolan Hardcover R2,410 Discovery Miles 24 100
What Was Lost - Poems
Herbert Morris Hardcover R625 Discovery Miles 6 250
Copyright in the Music Industry - A…
Hayleigh Bosher Hardcover R3,326 Discovery Miles 33 260
Book Lovers
Emily Henry Paperback  (4)
R275 R254 Discovery Miles 2 540

 

Partners