Stock image for illustration purposes only - book cover, edition or condition may vary.
Logic and Program Semantics
. Ed(S): Constable, Robert L.; Silva, Alexandra
€ 65.56
FREE Delivery in Ireland
Description for Logic and Program Semantics
Paperback. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). This title deals 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. Editor(s): Constable, Robert L.; Silva, Alexandra. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 370 pages, 45 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 529.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
370
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
357
Place of Publication
Berlin, Germany
ISBN
9783642294846
SKU
V9783642294846
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Logic and Program Semantics