- 0 resultaten
laagste prijs: € 164,26, hoogste prijs: € 229,37, gemiddelde prijs: € 182,74
1
A Modern Perspective on Type Theory : From its Origins until Today - F. D. Kamareddine
bestellen
bij ZVAB.com
€ 171,19
verzending: € 0,00
bestellen
F. D. Kamareddine:

A Modern Perspective on Type Theory : From its Origins until Today - pocketboek

ISBN: 904816639X

[EAN: 9789048166398], Neubuch, [SC: 0.0], [PU: Springer Netherlands], COMPUTER; CALCULUS; COMPUTER SCIENCE; LOGIC; PREDICATE PROGRAMMING; PROGRAMMING LANGUAGE; PROOF, Druck auf Anfrage Ne… Meer...

NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series, Band 29) - F.D. D. Kamareddine, T. Laan, Rob Nederpelt
bestellen
bij amazon.de
€ 229,37
verzending: € 3,00
bestellen

F.D. D. Kamareddine, T. Laan, Rob Nederpelt:

A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series, Band 29) - pocketboek

2010, ISBN: 904816639X

Taschenbuch, [EAN: 9789048166398], Mathematical foundations, Springer, Springer, Book, [PU: Springer], 2010-10-22, Springer, 3138311, Logik, 3138111, Philosophie, 3234481, Sozialwissensch… Meer...

Gebraucht. Verzendingskosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) EBICHU ^0^ TRADING
3
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series) - F.D. D. Kamareddine, T. Laan, Rob Nederpelt
bestellen
bij amazon.co.uk
£ 139,99
(ongeveer € 164,26)
verzending: € 5,16
bestellen
F.D. D. Kamareddine, T. Laan, Rob Nederpelt:
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series) - pocketboek

2010

ISBN: 904816639X

Paperback, [EAN: 9789048166398], Springer, Springer, Book, [PU: Springer], 2010-10-22, Springer, 269265, Computer Science, 269709, Algorithms, 269656, Architecture & Microprocessors, 4042… Meer...

Neuware. Verzendingskosten:Europa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 24 hours. (EUR 5.16) Amazon.co.uk
Betaalde advertentie
4
bestellen
bij AbeBooks.de
€ 177,69
verzending: € 0,00
bestellen
Fairouz D. Kamareddine, Twan Laan, Rob Nederpelt:
A Modern Perspective on Type Theory: From its Origins until Today (Paperback) - pocketboek

2010, ISBN: 904816639X

[EAN: 9789048166398], Neubuch, [PU: Springer, Netherlands], Language: English. Brand new Book. This book provides an overview of type theory. The first part of the book is historical, yet… Meer...

NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Book Depository hard to find, London, United Kingdom [63688905] [Rating: 4 (von 5)]
5
A Modern Perspective on Type Theory - Fairouz D. Kamareddine; Twan Laan; Rob Nederpelt
bestellen
bij lehmanns.de
€ 171,19
verzending: € 9,95
bestellen
Fairouz D. Kamareddine; Twan Laan; Rob Nederpelt:
A Modern Perspective on Type Theory - pocketboek

2010, ISBN: 9789048166398

gebonden uitgave

From its Origins until Today, Softcover reprint of hardcover 1st ed. 2004, Softcover, Buch, [PU: Springer]

Verzendingskosten:Versand in 7-9 Tagen, , sem custos de envio na RFA. (EUR 9.95)

Bijzonderheden over het boek
A Modern Perspective on Type Theory

This book provides an overview of type theory. The first part of the book is historical, yet at the same time, places historical systems in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms. The third part proposes new systems that bring more advantages together.

Gedetalleerde informatie over het boek. - A Modern Perspective on Type Theory


EAN (ISBN-13): 9789048166398
ISBN (ISBN-10): 904816639X
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer
376 Bladzijden
Gewicht: 0,598 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2011-08-08T10:50:23+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2021-02-18T23:22:15+01:00 (Amsterdam)
ISBN/EAN: 9789048166398

ISBN - alternatieve schrijfwijzen:
90-481-6639-X, 978-90-481-6639-8


Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9781402023347 A Modern Perspective on Type Theory: From its Origins until Today F.D. Kamareddine Author (Laan T. Nederpelt Rob Kamareddine F.D.)


< naar Archief...