Description: Logic and Program Semantics Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday Author(s): Robert L. Constable, Alexandra Silva Format: Paperback Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K ISBN-13: 9783642294846, 978-3642294846 Synopsis 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.
Price: 38.61 GBP
Location: Aldershot
End Time: 2024-12-08T09:05:59.000Z
Shipping Cost: 29.17 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Logic and Program Semantics
Number of Pages: 357 Pages
Language: English
Publication Name: Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Publisher: Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
Publication Year: 2012
Subject: Computer Science
Item Height: 235 mm
Item Weight: 562 g
Type: Textbook
Author: Robert L. Constable, Alexandra Silva
Series: Programming and Software Engineering
Item Width: 155 mm
Format: Paperback
