Kod: 05281444

Logic and Program Semantics

Name: Logic and Program Semantics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05281444
Price: 290.90 PLN
Availability: InStock

Autor Robert L. Constable, Alexandra Silva

Język: Angielski
Oprawa: Miękka
Liczba stron: 357
Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012
Więcej informacji o książce

290.90 zł

Dostępna u dostawcy w małych ilościach
Wysyłamy za 12 - 15 dni

Potrzebujesz więcej egzemplarzy?Jeżeli jesteś zainteresowany zakupem większej ilości egzemplarzy, skontaktuj się z nami, aby sprawdzić ich dostępność.

Dodaj do schowka

Zobacz książki o podobnej tematyce

Gideon Lincecum, 1793-1874
205.71 zł
Kup książkę
Gentlemen Capitalists
645.48 zł
Kup książkę
How to Do Everything with Dreamweaver
156.26 zł -8 %
Kup książkę
Rose Legacy
117.88 zł
Kup książkę
Steiner Ratio
573.28 zł
Kup książkę
Thicker than Water
69.54 zł -4 %
Kup książkę

Bon podarunkowy: Radość gwarantowana

Podaruj bon o dowolnej wartości, a my się zajmiemy resztą.
Bon podarunkowy dotyczy całej naszej oferty.
Możesz wydrukować elektroniczny bon z e-maila a następnie przekazać go obdarowanemu.
Ważność bonu wynosi 12 miesięcy od daty wystawienia.

Wzór bonu podarunkowego Dowiedz się więcej

Więcej informacji o Logic and Program Semantics

Dane szczegółowe
Opis
Ulubione w innej kategorii

Za ten zakup dostaniesz 168 punkty

Opis

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.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer programming / software development Algorithms & data structures

290.90 zł

Pełny tytuł: Logic and Program Semantics
Podtytuł: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Autor: Robert L. Constable, Alexandra Silva
Język: Angielski
Oprawa: Miękka
Liczba stron: 357
EAN: 9783642294846
ISBN: 3642294847
ID: 05281444
Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga: 529 g
Wymiary: 235 × 155 × 28 mm
Data wydania: 11. April 2012