Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.99 € GLS-Kurier 5.49 € DPD-Kurier 4.99 € DPD-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Logic and Program Semantics

Name: Logic and Program Semantics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05281444
Price: 56.89 EUR
Availability: InStock
Author: Robert L. Constable
ISBN: 9783642294846

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

Robert L. Constable

Alexandra Silva

Sprache

Englisch

Buch Broschur

Libristo-Code: 05281444

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, April 2012

This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday.... Vollständige Beschreibung

Libristo-Code: 05281444

139 b

56.89 € inkl. MwSt.

Wir liefern bis Weihnachten ▾ Externes Lager Wir versenden in 9-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Die Organisation Des Kommunalen Verwaltungsbetriebs Falko Schuster

Broschur

49.99 €

Das kleine Buch der großen Parfums Tania Sanchez

Hardcover

14.90 €

Дерзкий репетитор по русскому языку. Для тех, кто хочет говорить и писать правильно

Broschur

31.79 €

Des Devoirs. 3e Edition Cicéron

Broschur

26.39 €

Le Minorquin de la Beauce Cardona

Broschur

21.99 €

Význam v kontexte Marián Zouhar

Broschur

10.79 €

Adieu à l'Europe Nizon

Hardcover

17.89 €

LOS SIETE RELATOS CAPITALES y su fiesta de guardar Hernández Rey

Broschur

18.99 €

Dit is Berlin. Das Wimmelbuch Laura Breiling

Hardcover

26.00 €

Il Tuo Oroscopo Personale Completo Dello Scorpione 2025 Iris Quinn

Broschur

12.59 €

VAMPIRE KNIGHT Pearls 4 Antje Bockel

Broschur

11.00 €

Tympeät tytöt - Aikuistumisriittejä Riina Tanskanen

Hardcover

60.69 €

EL FASCISMO EN GALICIA. DE LOS ORIGENES AL DECRETO DE UNIFICACION PRADA RODRIGUEZ

Buch

39.29 €

Geschichte des teutschen Volkes Heinrich Luden

Broschur

78.90 €

Umgang mit dem geistigen Eigentum des Unternehmers. Unter besonderer Ber cksichtigung des Aspektes der Produktpiraterie Bjorn Wiels

Broschur

26.89 €

Ernährung des Hundes - Fakten und Mythen Katrin Rohde

Broschur

13.90 €

Einflussgroesse und Konsequenzen der Unternehmensfairness Diana Nöcke

Broschur

69.99 €

Porristas en Accion Bobbie Kalman

Broschur

10.09 €

Moeglichkeiten des Einsatzes und daraus resultierende Nutzeffekte von elektronischen Konferenzen Jörg Mecke

Broschur

38.00 €

25 Etüden Friedrich Burgmüller

Broschur

12.50 €

Hochbegabt oder hochsensibel Manon Garcia

Broschur

16.80 €

Adolescents.cat-2 CODINA

Broschur

17.49 €

La trascendencia de ego Jean-Paul Sartre

Broschur

19.19 €

Cosmopolite 1. Arbeitsbuch mit Code und Beiheft Tony Tricot

Broschur

17.49 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Logic and Program Semantics

Autor Robert L. Constable, Alexandra Silva

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2012

Anzahl der Seiten 357

EAN 9783642294846

ISBN 3642294847

Libristo-Code 05281444

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 529

Abmessungen 155 x 235 x 28

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert