Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Logic and Program Semantics

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

Język AngielskiAngielski
Książka Miękka
Książka Logic and Program Semantics Robert L. Constable
Kod Libristo: 05281444
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, kwiecień 2012
This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday.... Cały opis
? points 142 b
Gwarancja
najlepszej
ceny ▸
253.73 zł
Dostępna u dostawcy Wysyłamy za 10-16 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Die Organisation Des Kommunalen Verwaltungsbetriebs Falko Schuster / Książka Miękka
common.buy 204.32 zł
Dit is Berlin. Das Wimmelbuch Laura Breiling / Książka Twarda
common.buy 97.49 zł
Le Minorquin de la Beauce Cardona / Książka Miękka
common.buy 100.36 zł
Význam v kontexte Marián Zouhar / Książka Miękka
common.buy 52.58 zł
Adieu à l'Europe Nizon / Książka Twarda
common.buy 85.49 zł
Il Tuo Oroscopo Personale Completo Dello Scorpione 2025 Iris Quinn / Książka Miękka
common.buy 56.89 zł
Tanie
BASILUR Mini Treats Gift of Love plech 40g Artykuły papiernicze Artykuły papiernicze
common.buy 11.68 zł
Tympeät tytöt - Aikuistumisriittejä Riina Tanskanen / Książka Twarda
common.buy 251.27 zł
VAMPIRE KNIGHT Pearls 4 Antje Bockel / Książka Miękka
common.buy 43.26 zł
LOS SIETE RELATOS CAPITALES y su fiesta de guardar Hernández Rey / Książka Miękka
common.buy 90.72 zł
Дерзкий репетитор по русскому языку. Для тех, кто хочет говорить и писать правильно / Książka Miękka
common.buy 131.83 zł
Zapowiedź
Das kleine Buch der großen Parfums Tania Sanchez / Książka Twarda
common.buy 54.94 zł
EL FASCISMO EN GALICIA. DE LOS ORIGENES AL DECRETO DE UNIFICACION PRADA RODRIGUEZ / Książka Książka
common.buy 186.99 zł
Geschichte des teutschen Volkes Heinrich Luden / Książka Miękka
common.buy 304.18 zł
Umgang mit dem geistigen Eigentum des Unternehmers. Unter besonderer Ber cksichtigung des Aspektes der Produktpiraterie Bjorn Wiels / Książka Miękka
common.buy 120.45 zł
Ernährung des Hundes - Fakten und Mythen Katrin Rohde / Książka Miękka
common.buy 54.53 zł
Einflussgroesse und Konsequenzen der Unternehmensfairness Diana Nöcke / Książka Miękka
common.buy 292.18 zł
Porristas en Accion Bobbie Kalman / Książka Miękka
common.buy 41.82 zł
Moeglichkeiten des Einsatzes und daraus resultierende Nutzeffekte von elektronischen Konferenzen Jörg Mecke / Książka Miękka
common.buy 147.11 zł
25 Etüden Friedrich Burgmüller / Książka Miękka
common.buy 69.91 zł
Hochbegabt oder hochsensibel Manon Garcia / Książka Miękka
common.buy 65.71 zł
La trascendencia de ego Jean-Paul Sartre / Książka Miękka
common.buy 92.88 zł
Des Devoirs. 3e Edition Cicéron / Książka Miękka
common.buy 117.89 zł
Margaga Martin Cortez / Książka Miękka
common.buy 92.47 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Logic and Program Semantics
Autor Robert L. Constable, Alexandra Silva
Język Angielski
Oprawa Książka - Miękka
Data wydania 2012
Liczba stron 357
EAN 9783642294846
ISBN 3642294847
Kod Libristo 05281444
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 529
Wymiary 155 x 235 x 28

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

South Beach Gabriele Schuetz / Książka Twarda
common.buy 85.49 zł
Record of the 4th Royal Irish Dragoon Guards in the Great War, 1914-1918 Harold Gibb / Książka Miękka
common.buy 77.29 zł
Fall Steven Saxonberg / Książka Twarda
common.buy 1 037.73 zł
Community-Based Organizations in Mexico David Arellano-Gault / Książka Miękka
common.buy 344.98 zł
Acceptance A T Weaver / Książka Miękka
common.buy 83.55 zł
How Do I Get There from Here? Bridges / Książka Miękka
common.buy 83.75 zł
Ethics of Interdependence William F. Felice / Książka Miękka
common.buy 190.79 zł
The Always War Margaret Peterson Haddix / Książka Miękka
common.buy 50.12 zł
Salton Sea Resort Kevin Blake / Książka Twarda
common.buy 148.55 zł
Handbook of Iron Metabolism Lisa Jordan / Książka Twarda
common.buy 338.42 zł
Septonian Castaway ALBORICAH RATHUP / Książka Miękka
common.buy 83.55 zł
Mermaid Coloring Book for Kids Ages 4-8: Mermaid Fairy Tale Lover to Color Happy Kid Crafter / Książka Miękka
common.buy 36.90 zł
Policy Analysis in Brazil Lenaura Lobato / Książka Twarda
common.buy 598.01 zł
Chemistry And Technology Wines And Liquors Karl M. Herstein / Książka Twarda
common.buy 157.47 zł
Raspbian OS Programming with the Raspberry Pi Agus Kurniawan / Książka Miękka
common.buy 100.16 zł
My Life with Trains Jim Mcclellan / Książka Miękka
common.buy 127.63 zł
Twelve Rules for Eternal Life: Preparing for the Second Coming of Jesus Christ, the Holy Messiah Richard W Linford / Książka Miękka
common.buy 33.10 zł
Narrative Economics Robert J. Shiller / Książka Twarda
common.buy 202.78 zł
Decline of the West; Volume 2 Oswald Spengler / Książka Twarda
common.buy 198.48 zł
Trilogy MERIH GUNAY / Książka Twarda
common.buy 151.01 zł
Cradle of Fire Gail Daley / Książka Miękka
common.buy 72.78 zł
Best Feng Shui Alignment Paul Yan / Książka Miękka
common.buy 74.11 zł
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 / Książka Miękka
common.buy 64.37 zł
TOP
Oracle Database Transactions and Locking Revealed Thomas Kyte / Książka Miękka
common.buy 211.50 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?