A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD futárszolgálat 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 690 Ft GLS pont 1 190 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Logic and Program Semantics

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Logic and Program Semantics Robert L. Constable
Libristo kód: 05281444
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, április 2012
This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday.... Teljes leírás
? points 145 b
21 133 Ft
Beszállítói készleten alacsony példányszámban Küldés 11-15 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Des Devoirs. 3e Edition Cicéron / Könyv Puha kötésű
common.buy 10 305 Ft
Ernährung des Hundes - Fakten und Mythen Katrin Rohde / Könyv Puha kötésű
common.buy 4 861 Ft
Blutige Maiglöckchen zum Hochzeitstag Manfred Eisner / Könyv Puha kötésű
common.buy 8 019 Ft
Дерзкий репетитор по русскому языку. Для тех, кто хочет говорить и писать правильно / Könyv Puha kötésű
common.buy 10 727 Ft
Das kleine Buch der großen Parfums Tania Sanchez / Könyv Kemény kötésű
common.buy 4 921 Ft
EL FASCISMO EN GALICIA. DE LOS ORIGENES AL DECRETO DE UNIFICACION PRADA RODRIGUEZ / Könyv Könyv
common.buy 15 267 Ft
Dit is Berlin. Das Wimmelbuch Laura Breiling / Könyv Kemény kötésű
common.buy 8 703 Ft
Il Tuo Oroscopo Personale Completo Dello Scorpione 2025 Iris Quinn / Könyv Puha kötésű
common.buy 4 994 Ft
Einflussgroesse und Konsequenzen der Unternehmensfairness Diana Nöcke / Könyv Puha kötésű
common.buy 25 820 Ft
Anteckningar Rorande Finska Armeens Och Finlands Krigshistoria, Part 1 (1870) Julius Mankell / Könyv Puha kötésű
common.buy 16 318 Ft
Münzhüllen OPTIMA 34 Leuchtturm Albenverlag / Könyv binding.
common.buy 3 493 Ft
Porristas en Accion Bobbie Kalman / Könyv Puha kötésű
common.buy 3 714 Ft
Kompendium der Augenheilkunde Max Tetzer / Könyv Puha kötésű
common.buy 12 036 Ft
Margaga Martin Cortez / Könyv Puha kötésű
common.buy 9 171 Ft
Geschichte des teutschen Volkes Heinrich Luden / Könyv Puha kötésű
common.buy 27 060 Ft
La trascendencia de ego Jean-Paul Sartre / Könyv Puha kötésű
common.buy 7 611 Ft
Moeglichkeiten des Einsatzes und daraus resultierende Nutzeffekte von elektronischen Konferenzen Jörg Mecke / Könyv Puha kötésű
common.buy 13 101 Ft
25 Etüden Friedrich Burgmüller / Könyv Puha kötésű
common.buy 6 128 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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Logic and Program Semantics
Szerző Robert L. Constable, Alexandra Silva
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2012
Oldalszám 357
EAN 9783642294846
ISBN 3642294847
Libristo kód 05281444
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 529
Méretek 155 x 235 x 28

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Algoritmusok és adatszerkezetek
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Raspbian OS Programming with the Raspberry Pi Agus Kurniawan / Könyv Puha kötésű
common.buy 8 965 Ft
South Beach Gabriele Schuetz / Könyv Kemény kötésű
common.buy 7 248 Ft
Record of the 4th Royal Irish Dragoon Guards in the Great War, 1914-1918 Harold Gibb / Könyv Puha kötésű
common.buy 8 079 Ft
Fall Steven Saxonberg / Könyv Kemény kötésű
common.buy 79 912 Ft
Community-Based Organizations in Mexico David Arellano-Gault / Könyv Puha kötésű
common.buy 28 138 Ft
Acceptance A T Weaver / Könyv Puha kötésű
common.buy 7 367 Ft
Ethics of Interdependence William F. Felice / Könyv Puha kötésű
common.buy 17 975 Ft
The Always War Margaret Peterson Haddix / Könyv Puha kötésű
common.buy 3 714 Ft
Handbook of Iron Metabolism Lisa Jordan / Könyv Kemény kötésű
common.buy 29 883 Ft
Septonian Castaway ALBORICAH RATHUP / Könyv Puha kötésű
common.buy 7 367 Ft
Introduction To Psychology George Sidney Brett / Könyv Puha kötésű
common.buy 3 259 Ft
Food-Borne Microbes Hua H. Wang / Könyv Kemény kötésű
common.buy 64 048 Ft
My Life with Trains Jim Mcclellan / Könyv Puha kötésű
common.buy 10 613 Ft
Narrative Economics Robert J. Shiller / Könyv Kemény kötésű
common.buy 17 567 Ft
Decline of the West; Volume 2 Oswald Spengler / Könyv Kemény kötésű
common.buy 17 567 Ft
Best Feng Shui Alignment Paul Yan / Könyv Puha kötésű
common.buy 6 504 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 / Könyv Puha kötésű
common.buy 5 765 Ft
Chemistry And Technology Wines And Liquors Karl M. Herstein / Könyv Kemény kötésű
common.buy 13 798 Ft
Just One Bite Meghan Neri / Könyv Puha kötésű
common.buy 7 702 Ft
Grandmother, I Want to Learn Your Recipes: A Keepsake Memory Book to Gather and Preserve Your Favorite Family Recipes Hear Your Story / Könyv Puha kötésű
common.buy 5 256 Ft
Tolerance and Intolerance in Religion and Beyond Giuseppe Veltri / Könyv Puha kötésű
common.buy 23 291 Ft
Japanese Exports and Foreign Direct Investment Hideki Yamawaki / Könyv Puha kötésű
common.buy 15 180 Ft
Acoustic Communication in Insects and Anurans H.Carl Gerhardt / Könyv Kemény kötésű
common.buy 75 211 Ft
Thicker than Water G. M. Ford / Könyv Puha kötésű
common.buy 5 343 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?