Logic and Program Semantics

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

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

Autor: Robert L. Constable, Alexandra Silva

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnosť: Skladom u dodávateľa v malom množstve

Odosielame za 13-18 dní

54.22 €

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

Informácie o knihe

Autor

Robert L. Constable, Alexandra Silva

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2012

Stránok

357

EAN

9783642294846

ISBN

3642294847

Enbook ID

05281444

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

529

Rozmery

155 x 235 x 28

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Logic and Program Semantics

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež