Cambridge University Press 2008 paperback New

ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press] Softcover Druck auf Anfrage Neuware - Printed after ordering - Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail.The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm which lies at the heart of every such system.The mathematical presentation is rigorous but clear, making it the first book at this level which can be used as an introduction to type theory for computer scientists.
[Einbeck, Germany] [Publication Year: 2008]
Show/Hide image

Paperback / softback. New. This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice. ISBN 0521054222 9780521054225 [GB]

ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press CUP] Softcover pp. 200
[New York, NY, U.S.A.] [Publication Year: 2008]

Cambridge University Press CUP , pp. 200 . Papeback. New. Cambridge University Press CUP ISBN 0521054222 9780521054225 [US]

ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press] Softcover New! This book is in the same immaculate condition as when it was published 0.8
[Tucson, AZ, U.S.A.] [Publication Year: 2008]

Cambridge University Press 2/1/2008 Paperback or Softback New in New jacket Basic Simple Type Theory (Paperback or Softback)

ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press 2/1/2008] Softcover Basic Simple Type Theory 0.66
[Grand Rapids, MI, U.S.A.] [Publication Year: 2008]
Show/Hide image

ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press] Softcover
[Dallas, TX, U.S.A.] [Publication Year: 2008]

ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: 2008] Softcover Occasion - Bon Etat - Basic simple type theory (2008) - Grand Format
[Kervignac, France] [Publication Year: 2008]
Show/Hide image

ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press] Softcover Book is in Used-Good condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain limited notes and highlighting. 0.8
[Hawthorne, CA, U.S.A.] [Publication Year: 2008]

Cambridge Cambridge University Press 2008 Trade paperback New. Trade paperback (US). Contains: Line drawings, Tables. Cambridge Tracts in Theoretical Computer Science . 10 b/w illus. 1 table. Intended for professional and scholarly audience.

ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press 2008-02] Softcover
[Wallingford, United Kingdom] [Publication Year: 2008]

ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press] Softcover May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.66
[Dallas, TX, U.S.A.] [Publication Year: 2008]

Cambridge University Press 2008 Softcover Very good May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.