[email protected]
LIBRISTO 0
DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €
phone Kontakt phoneWie einkaufen

Category Theory and Computer Science

Sprache EnglischEnglisch
Buch Broschur
Buch Category Theory and Computer Science Peter Johnstone
Libristo-Code: 05274486
Verlag Springer, Berlin, November 1994
This book presents the proceedings of the Sixth International Conference on Category Theory and Comp... Vollständige Beschreibung
? points 177 b
70.52 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Traditionelle Chinesische Medizin Paul U. Unschuld / Broschur
common.buy 9.03 €
On the Refinement Calculus Carroll Morgan / Broschur
common.buy 70.52 €
Das Liederbuch 2004-2010 Silbermond / Broschur
common.buy 25.17 €
Abissinia Giornale di un viaggio Giuseppe Vigoni / Broschur
common.buy 18.06 €
'Normative Vorstellungen' zur Arbeitsteilung in der Erwerbsarbeit, Hausarbeit und Kindererziehung Ellen Ziegler / Broschur
common.buy 18.11 €
Advances in Cryptology - CRYPTO '90 Alfred J. Menezes / Broschur
common.buy 70.52 €
Euro, Inflation and Consumers' Perceptions Paolo Giovane / Broschur
common.buy 139.23 €
Zeitungsanalyse 'Tagespost' 02.1919-03.1919 Katharina Bergmaier / Broschur
common.buy 18.11 €
Riemann's Boundary Problem with Infinite Index Nikolaj V. Govorov / Hardcover
common.buy 139.23 €

This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory.

Informationen zum Buch

Vollständiger Name Category Theory and Computer Science
Autor Peter Johnstone, David Pitt, David E. Rydeheard
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1995
Anzahl der Seiten 259
EAN 9783540601647
ISBN 3540601643
Libristo-Code 05274486
Verlag Springer, Berlin
Gewicht 357
Abmessungen 155 x 233 x 14

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Topologie > Algebraische Topologie
EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker
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 > 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

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto