Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Logic and Program Semantics

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

Limba englezăengleză
Carte Carte broșată
Carte Logic and Program Semantics Robert L. Constable
Codul Libristo: 05281444
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, aprilie 2012
This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday.... Descrierea completă
? points 141 b
306.56 lei
În depozitul extern în cantități mici Expediem în 13-18 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

EL FASCISMO EN GALICIA. DE LOS ORIGENES AL DECRETO DE UNIFICACION PRADA RODRIGUEZ / Carte Carte
common.buy 209.43 lei
Curând
Das kleine Buch der großen Parfums Tania Sanchez / Carte Copertă tare
common.buy 70.88 lei
Дерзкий репетитор по русскому языку. Для тех, кто хочет говорить и писать правильно / Carte Carte broșată
common.buy 159.78 lei
Tympeät tytöt - Aikuistumisriittejä Riina Tanskanen / Carte Copertă tare
common.buy 304.37 lei
Dit is Berlin. Das Wimmelbuch Laura Breiling / Carte Copertă tare
common.buy 118.14 lei
Ernährung des Hundes - Fakten und Mythen Katrin Rohde / Carte Carte broșată
common.buy 70.05 lei
Il Tuo Oroscopo Personale Completo Dello Scorpione 2025 Iris Quinn / Carte Carte broșată
common.buy 72.44 lei
Des Devoirs. 3e Edition Cicéron / Carte Carte broșată
common.buy 149.37 lei
Einflussgroesse und Konsequenzen der Unternehmensfairness Diana Nöcke / Carte Carte broșată
common.buy 373.07 lei
Anteckningar Rorande Finska Armeens Och Finlands Krigshistoria, Part 1 (1870) Julius Mankell / Carte Carte broșată
common.buy 236.50 lei
Münzhüllen OPTIMA 34 Leuchtturm Albenverlag / Carte binding.
common.buy 50.27 lei
Blutige Maiglöckchen zum Hochzeitstag Manfred Eisner / Carte Carte broșată
common.buy 119.18 lei
Porristas en Accion Bobbie Kalman / Carte Carte broșată
common.buy 53.49 lei
Kompendium der Augenheilkunde Max Tetzer / Carte Carte broșată
common.buy 173.42 lei
Margaga Martin Cortez / Carte Carte broșată
common.buy 133.13 lei
Geschichte des teutschen Volkes Heinrich Luden / Carte Carte broșată
common.buy 390.15 lei
La trascendencia de ego Jean-Paul Sartre / Carte Carte broșată
common.buy 102.53 lei
Moeglichkeiten des Einsatzes und daraus resultierende Nutzeffekte von elektronischen Konferenzen Jörg Mecke / Carte Carte broșată
common.buy 188.61 lei
25 Etüden Friedrich Burgmüller / Carte Carte broșată
common.buy 59.64 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Logic and Program Semantics
Autor Robert L. Constable, Alexandra Silva
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 357
EAN 9783642294846
ISBN 3642294847
Codul Libristo 05281444
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 529
Dimensiuni 155 x 235 x 28

Categorii

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Raspbian OS Programming with the Raspberry Pi Agus Kurniawan / Carte Carte broșată
common.buy 128.97 lei
South Beach Gabriele Schuetz / Carte Copertă tare
common.buy 103.88 lei
Record of the 4th Royal Irish Dragoon Guards in the Great War, 1914-1918 Harold Gibb / Carte Carte broșată
common.buy 117.10 lei
Fall Steven Saxonberg / Carte Copertă tare
common.buy 1 320.15 lei
Community-Based Organizations in Mexico David Arellano-Gault / Carte Carte broșată
common.buy 418.77 lei
Acceptance A T Weaver / Carte Carte broșată
common.buy 106.38 lei
Ethics of Interdependence William F. Felice / Carte Carte broșată
common.buy 241.29 lei
The Always War Margaret Peterson Haddix / Carte Carte broșată
common.buy 63.90 lei
Handbook of Iron Metabolism Lisa Jordan / Carte Copertă tare
common.buy 431.78 lei
Septonian Castaway ALBORICAH RATHUP / Carte Carte broșată
common.buy 106.38 lei
Introduction To Psychology George Sidney Brett / Carte Carte broșată
common.buy 47.04 lei
Food-Borne Microbes Hua H. Wang / Carte Copertă tare
common.buy 935.82 lei
My Life with Trains Jim Mcclellan / Carte Carte broșată
common.buy 156.76 lei
Narrative Economics Robert J. Shiller / Carte Copertă tare
common.buy 255.55 lei
Decline of the West; Volume 2 Oswald Spengler / Carte Copertă tare
common.buy 253.57 lei
Best Feng Shui Alignment Paul Yan / Carte Carte broșată
common.buy 94.30 lei
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 / Carte Carte broșată
common.buy 83.06 lei
Chemistry And Technology Wines And Liquors Karl M. Herstein / Carte Copertă tare
common.buy 199.86 lei
Just One Bite Meghan Neri / Carte Carte broșată
common.buy 111.58 lei
Grandmother, I Want to Learn Your Recipes: A Keepsake Memory Book to Gather and Preserve Your Favorite Family Recipes Hear Your Story / Carte Carte broșată
common.buy 75.67 lei
Tolerance and Intolerance in Religion and Beyond Giuseppe Veltri / Carte Carte broșată
common.buy 338.20 lei
Thicker than Water G. M. Ford / Carte Carte broșată
common.buy 76.92 lei
How to Do Everything with Dreamweaver Michael Meadhra / Carte Carte broșată
common.buy 165.82 lei
Morality and the Emotions Carla Bagnoli / Carte Carte broșată
common.buy 224.53 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?