Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 7230)

ISBN 10: 3642294847 ISBN 13: 9783642294846

Published by Springer, 2012

Language: English

Condition: New Soft cover

Save for Later

Sold by Lucky's Textbooks, Dallas, TX, U.S.A.

AbeBooks Seller since 22 July 2022

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

New - Soft cover

Condition: New

Price: � 45.41 Convert Currency

� 55.53 shipping from U.S.A. to United Kingdom Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Save for Later

About this Item

Seller Inventory # ABLIING23Mar3113020223510

Contact seller

Report this item

Bibliographic Details

Title

Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 7230)

Publisher

Springer

Publication Date

2012

Language

English

ISBN 10

3642294847

ISBN 13

9783642294846

Binding

Soft cover

Condition

New

Seller catalogs

About this title

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.

From the Back Cover

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) and 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 procedures 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.

"About this title" may belong to another edition of this title.

Store Description

Quality books, speedy shipping, and great customer service! Please note that used items may not include access codes or cards, CD's or other accessories, regardless of what is stated in item title. If you need to guarantee that these items are included, please purchase a brand new copy.

Visit Seller's Storefront

Seller's business information

J2B Holdings, LLC
13770 NOEL RD, #803600, Dallas, TX, 75240, U.S.A.

Sale & Shipping Terms

Terms of Sale

We guarantee the condition of every book as it's described on the AbeBooks web
sites. Please note that used items may not include access codes or cards, CD's
or other accessories, regardless of what is stated in item title. If you need to
guarantee that these items are included, please purchase a brand new copy.

All requests for refunds and/or returns will be processed in accordance with
AbeBooks policies. If you're dissatisfied with your purchase (Incorrect Book/Not
as Described/Damaged) or if ...

More Information

Right of cancellation

Shipping Terms

Books ordered via expedited shipping should arrive between 2 and 7 business days after shipment confirmation. Books ordered via standard shipping should arrive between 4 and 14 business days after shipment confirmation.

Shipping rates from U.S.A. to United Kingdom

Shipping rates from U.S.A. to United Kingdom
Order quantity	5 to 18 business days	5 to 17 business days
First item	� 55.53	� 70.33

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.