Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

*Gültig bis 07.06.2026 auf (fast) alles. Ausgeschlossen sind Smartboxen, Zeitschriften, Tickets, Lebensmittel, Gaming-Elektroartikel, Tinte/Toner, Gutscheine, Geschenkkarten, Blumen und Abos | Einlösbar in allen Buchhandlungen von Orell Füssli, Barth Bücher, Buchladen Rapunzel, Schuler Orell Füssli, Stauffacher und ZAP unter Vorweisung des Gutscheins, auf www.orellfüssli.ch durch Eingabe des Gutscheincodes. Beim Service „eBooks verschenken“ und bei eBook-Käufen via eReader nicht einlösbar | Mindesteinkaufswert: Fr. 100.- | Nicht mit anderen Rabatten kumulierbar.
  • Produktbild: Semantics and Logics of Computation
  • Produktbild: Semantics and Logics of Computation

Semantics and Logics of Computation

Fr. 208.00

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

24.04.2007

Herausgeber

Pitts Andrew M. + weitere

Verlag

Cambridge Academic

Seitenzahl

376

Maße (L/B/H)

23.5/15.7/2.7 cm

Gewicht

650 g

Sprache

Englisch

ISBN

978-0-521-58057-1

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

24.04.2007

Herausgeber

Verlag

Cambridge Academic

Seitenzahl

376

Maße (L/B/H)

23.5/15.7/2.7 cm

Gewicht

650 g

Sprache

Englisch

ISBN

978-0-521-58057-1

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Semantics and Logics of Computation
  • Produktbild: Semantics and Logics of Computation
  • List of contributors; Preface; 1. Semantics of interaction: an introduction to game semantics Samson Abramsky; 2. Computational content of classical logic Thierry Coquand; 3. Syntax and semantics of dependent types Martin Hofmann; 4. Game semantics Martin Hyland; 5. Metalanguages and applications Eugenio Moggi; 6. Operationally-based theories of program equivalence Andrew Pitts; 7. Categories in concurrency Glynn Winskel and Mogens Nielsen; Index.