Logic and Program Semantics

Name: Logic and Program Semantics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642294846
Price: 59.31 EUR
Availability: InStock

Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

Автор: Robert L. Constable, Alexandra Silva

Език:

Корици: С меки корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: Външен склад в ограничено количество

Изпращаме след 13-18 дни

59.31 € 116.00 лв

This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday....

Информация за книгата

Автор

Robert L. Constable, Alexandra Silva

Език

Английски език

Корици

Книга - С меки корици

Издадена

2012

страници

357

EAN

9783642294846

ISBN

3642294847

Enbook ID

05281444

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

529

Размери

155 x 235 x 28

Пълно описание

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. 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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Logic and Program Semantics

Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също