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 Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.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 142 b
307.23 lei
În depozitul extern în cantități mici Expediem în 13-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Ernährung des Hundes - Fakten und Mythen Katrin Rohde / Carte Carte broșată
common.buy 70.15 lei
Il Tuo Oroscopo Personale Completo Dello Scorpione 2025 Iris Quinn / Carte Carte broșată
common.buy 72.55 lei
Das kleine Buch der großen Parfums Tania Sanchez / Carte Copertă tare
common.buy 70.99 lei
Dit is Berlin. Das Wimmelbuch Laura Breiling / Carte Copertă tare
common.buy 134.37 lei
Des Devoirs. 3e Edition Cicéron / Carte Carte broșată
common.buy 149.60 lei
Einflussgroesse und Konsequenzen der Unternehmensfairness Diana Nöcke / Carte Carte broșată
common.buy 373.64 lei
Münzhüllen OPTIMA 34 Leuchtturm Albenverlag / Carte binding.
common.buy 50.35 lei
Kompendium der Augenheilkunde Max Tetzer / Carte Carte broșată
common.buy 173.68 lei
Margaga Martin Cortez / Carte Carte broșată
common.buy 133.33 lei
La trascendencia de ego Jean-Paul Sartre / Carte Carte broșată
common.buy 113.52 lei
Porristas en Accion Bobbie Kalman / Carte Carte broșată
common.buy 53.58 lei
Moeglichkeiten des Einsatzes und daraus resultierende Nutzeffekte von elektronischen Konferenzen Jörg Mecke / Carte Carte broșată
common.buy 188.90 lei
Top
25 Etüden Friedrich Burgmüller / Carte Carte broșată
common.buy 63.17 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

Septonian Castaway ALBORICAH RATHUP / Carte Carte broșată
common.buy 106.54 lei
Thicker than Water G. M. Ford / Carte Carte broșată
common.buy 77.03 lei
South Beach Gabriele Schuetz / Carte Copertă tare
common.buy 104.24 lei
Record of the 4th Royal Irish Dragoon Guards in the Great War, 1914-1918 Harold Gibb / Carte Carte broșată
common.buy 117.28 lei
Fall Steven Saxonberg / Carte Copertă tare
common.buy 1 191.94 lei
Community-Based Organizations in Mexico David Arellano-Gault / Carte Carte broșată
common.buy 419.62 lei
Acceptance A T Weaver / Carte Carte broșată
common.buy 106.54 lei
Ethics of Interdependence William F. Felice / Carte Carte broșată
common.buy 262.09 lei
The Always War Margaret Peterson Haddix / Carte Carte broșată
common.buy 53.58 lei
Handbook of Iron Metabolism Lisa Jordan / Carte Copertă tare
common.buy 432.44 lei
Food-Borne Microbes Hua H. Wang / Carte Copertă tare
common.buy 924.63 lei
Introduction To Psychology George Sidney Brett / Carte Carte broșată
common.buy 47.11 lei
Raspbian OS Programming with the Raspberry Pi Agus Kurniawan / Carte Carte broșată
common.buy 129.16 lei
Narrative Economics Robert J. Shiller / Carte Copertă tare
common.buy 255.94 lei
Best Feng Shui Alignment Paul Yan / Carte Carte broșată
common.buy 94.44 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.18 lei
Chemistry And Technology Wines And Liquors Karl M. Herstein / Carte Copertă tare
common.buy 200.16 lei
Just One Bite Meghan Neri / Carte Carte broșată
common.buy 111.75 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.78 lei
Tolerance and Intolerance in Religion and Beyond Giuseppe Veltri / Carte Carte broșată
common.buy 338.71 lei
Parables For Preachers Barbara E. Reid / Carte Carte broșată
common.buy 117.49 lei
Morality and the Emotions Carla Bagnoli / Carte Carte broșată
common.buy 224.87 lei
Acoustic Communication in Insects and Anurans H.Carl Gerhardt / Carte Copertă tare
common.buy 1 095.92 lei
Gideon Lincecum, 1793-1874 Lois Wood Burkhalter / Carte Carte broșată
common.buy 225.39 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?