Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Logic and Program Semantics

Name: Logic and Program Semantics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05281444
Price: 21311 HUF
Availability: InStock
Author: Robert L. Constable
ISBN: 9783642294846

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

Robert L. Constable

Alexandra Silva

Language

English

Book Paperback

Libristo code: 05281444

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, April 2012

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

Libristo code: 05281444

145 b

21 311 Ft

Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

Ernährung des Hundes - Fakten und Mythen Katrin Rohde

Paperback

4 895 Ft

Il Tuo Oroscopo Personale Completo Dello Scorpione 2025 Iris Quinn

Paperback

5 029 Ft

Das kleine Buch der großen Parfums Tania Sanchez

Hardback

4 955 Ft

Dit is Berlin. Das Wimmelbuch Laura Breiling

Hardback

9 073 Ft

Des Devoirs. 3e Edition Cicéron

Paperback

10 376 Ft

Einflussgroesse und Konsequenzen der Unternehmensfairness Diana Nöcke

Paperback

25 998 Ft

Münzhüllen OPTIMA 34 Leuchtturm Albenverlag

binding.

3 517 Ft

Kompendium der Augenheilkunde Max Tetzer

Paperback

12 119 Ft

Margaga Martin Cortez

Paperback

9 235 Ft

La trascendencia de ego Jean-Paul Sartre

Paperback

7 663 Ft

Porristas en Accion Bobbie Kalman

Paperback

3 739 Ft

Moeglichkeiten des Einsatzes und daraus resultierende Nutzeffekte von elektronischen Konferenzen Jörg Mecke

Paperback

13 177 Ft

25 Etüden Friedrich Burgmüller

Paperback

4 409 Ft

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.

Actress & Polyglot

EWA KASP for

Play video

Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Logic and Program Semantics

Author Robert L. Constable, Alexandra Silva

Language

English

Binding Book - Paperback

Date of issue 2012

Number of pages 357

EAN 9783642294846

ISBN 3642294847

Libristo code 05281444

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Weight 529

Dimensions 155 x 235 x 28

You might also be interested in

Septonian Castaway ALBORICAH RATHUP

Paperback

7 418 Ft

Thicker than Water G. M. Ford

Paperback

5 380 Ft

South Beach Gabriele Schuetz

Hardback

7 298 Ft

Record of the 4th Royal Irish Dragoon Guards in the Great War, 1914-1918 Harold Gibb

Paperback

8 135 Ft

Fall Steven Saxonberg

Hardback

80 462 Ft

Community-Based Organizations in Mexico David Arellano-Gault

Paperback

28 332 Ft

Acceptance A T Weaver

Paperback

7 418 Ft

Ethics of Interdependence William F. Felice

Paperback

18 099 Ft

The Always War Margaret Peterson Haddix

Paperback

3 739 Ft

Handbook of Iron Metabolism Lisa Jordan

Hardback

30 088 Ft

Food-Borne Microbes Hua H. Wang

Hardback

64 050 Ft

Introduction To Psychology George Sidney Brett

Paperback

3 282 Ft

Raspbian OS Programming with the Raspberry Pi Agus Kurniawan

Paperback

9 027 Ft

Narrative Economics Robert J. Shiller

Hardback

17 688 Ft

Best Feng Shui Alignment Paul Yan

Paperback

6 549 Ft

Proceedings of the New York State Historical Association: ... Annual Meeting with Constitution and By-Laws and List of Members, Volume 2 New York State Historical Association

Paperback

5 805 Ft