Logic and Program Semantics

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

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

Autor: Robert L. Constable, Alexandra Silva

Jazyk:

Vazba: Brožovaná

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

Dostupnost: Skladem u dodavatele v malém množství

Odesíláme za 13-18 dnů

1 311 Kč

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

Informace o knize

Autor

Robert L. Constable, Alexandra Silva

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2012

Stránek

357

EAN

9783642294846

ISBN

3642294847

Enbook ID

05281444

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

529

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Logic and Program Semantics

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také