Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Spese di spedizione:
EUR 11,13
Da: Italia a: U.S.A.
Descrizione libro Condizione: new. Questo è un articolo print on demand. Codice articolo 7cd9ffebf70fba14c91642073425edfe
Descrizione libro Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9780521465182_lsuk
Descrizione libro Condizione: New. Codice articolo ABLIING23Feb2416190003850
Descrizione libro Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Codice articolo C9780521465182
Descrizione libro Hardcover. Condizione: Brand New. 186 pages. 9.50x6.25x0.50 inches. In Stock. Codice articolo __0521465184
Descrizione libro Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 conc. Codice articolo 446936631
Descrizione libro Condizione: New. New. In shrink wrap. Looks like an interesting title! 0.99. Codice articolo Q-0521465184
Descrizione libro Condizione: New. Buy with confidence! Book is in new, never-used condition. Codice articolo bk0521465184xvz189zvxnew
Descrizione libro Condizione: New. New! This book is in the same immaculate condition as when it was published. Codice articolo 353-0521465184-new
Descrizione libro Buch. Condizione: Neu. 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. Codice articolo 9780521465182