Logic and Program Semantics

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

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

Autor: Robert L. Constable, Alexandra Silva

Limbă:

Legare: Carte broșată

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

Disponibilitate: În depozitul extern în cantități mici

Expediem în 13-18 zile

298.40 lei

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

Informații despre carte

Autor

Robert L. Constable, Alexandra Silva

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2012

Pagini

357

EAN

9783642294846

ISBN

3642294847

Enbook ID

05281444

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

529

Dimensiuni

155 x 235 x 28

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Logic and Program Semantics

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și