Anmelden
Tipp von eurobuch.de
Suchtools
Aktuelles
Werbung
Bezahlte Anzeige
- 5 Ergebnisse
Kleinster Preis: € 5,00, größter Preis: € 96,29, Mittelwert: € 77,17
1
Typed Lambda Calculi and Applications - Mariangiola Dezani-Ciancaglini; Gordon Plotkin
Bestellen
bei Springer.com
€ 96,29
Mariangiola Dezani-Ciancaglini; Gordon Plotkin:

Typed Lambda Calculi and Applications - Taschenbuch

ISBN: 9783540590484

ID: 9783540590484

This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995. The book contains 29 full revise… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.

2
Typed Lambda Calculi and Applications Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings - Dezani-Ciancaglini, Mariangiola (Herausgeber); Plotkin, Gordon (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 96,29
Versand: € 0,00

Dezani-Ciancaglini, Mariangiola (Herausgeber); Plotkin, Gordon (Herausgeber):

Typed Lambda Calculi and Applications Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings - neues Buch

1995, ISBN: 354059048X

ID: A592775

1995 Kartoniert / Broschiert Calculus, EDV / Theorie / Informatik / Mathematik, Mathematische Grundlagen, Computerprogrammierung und Softwareentwicklung, Informatik, Theoretische Inform… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00)

MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
3
Typed Lambda Calculi and Applications
Bestellen
bei Thalia.de
€ 91,99
Versand: € 0,00
Typed Lambda Calculi and Applications - Taschenbuch

1995

ISBN: 9783540590484

ID: 1881543

This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995. The book contains 29 full rev… Mehr…

Nr. 1881543. Versandkosten:, Lieferbar in 2 - 3 Tage, DE. (EUR 0.00)

Bezahlte Anzeige
4
Typed Lambda Calculi and Applications - Proceedings. Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Lecture Notes in Computer Science ; Vol. 902 - Dezani-Ciancaglini, Mariangiola and Gordon Plotkin (Eds.)
Bestellen
bei buchfreund.de
€ 5,00
Versand: € 4,00
Dezani-Ciancaglini, Mariangiola and Gordon Plotkin (Eds.):
Typed Lambda Calculi and Applications - Proceedings. Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Lecture Notes in Computer Science ; Vol. 902 - Taschenbuch

1995, ISBN: 354059048X

ID: 58827

VIII, 442 pp., illustrations, 24 cm soft cover ISBN 354059048X Versand D: 4,00 EUR Informatik, Datenverarbeitung, [PU:Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong… Mehr…

Versandkosten:Versandkosten innerhalb der BRD. (EUR 4.00)

ANTIQUARIAT DR. Götzhaber, 57629 Luckenbach
5
Typed Lambda Calculi and Applications - Mariangiola Dezani-Ciancaglini; Gordon Plotkin
Bestellen
bei lehmanns.de
€ 96,29
Versand: € 0,00
Mariangiola Dezani-Ciancaglini; Gordon Plotkin:
Typed Lambda Calculi and Applications - Taschenbuch

1995, ISBN: 9783540590484

ID: 754697

Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings, 1995, Softcover, Buch, [PU: Springer Berlin]

Versandkosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)


Details zum Buch
Typed Lambda Calculi and Applications

This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995.The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems.

Detailangaben zum Buch - Typed Lambda Calculi and Applications


EAN (ISBN-13): 9783540590484
ISBN (ISBN-10): 354059048X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1995
Herausgeber: Springer Berlin
460 Seiten
Gewicht: 0,690 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-04-10T17:45:32+02:00 (Berlin)
Detailseite zuletzt geändert am 2019-12-22T21:30:10+01:00 (Berlin)
ISBN/EAN: 9783540590484

ISBN - alternative Schreibweisen:
3-540-59048-X, 978-3-540-59048-4


< zum Archiv...