Isbn: 9780198538356 - Computation and Reasoning: a Type Theory for Computer Science: 11 (international Series of Monographs on Computer Science) (17 results)

Condition: New.

Condition: New.

Hardback. Condition: New. New copy - Usually dispatched within 4 working days.

Condition: New. In English.

Condition: New. Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, type theory is shown to offer a powerful and uniform language for programming, program specification and development, and logical reasoning. Series: International Series of Monographs on Computer Science. Num Pages: 240 pages, line figures throughout. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 241 x 161 x 19. Weight in Grams: 460. . 1994. hardcover. . . . . …

Condition: New. Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, type theory is shown to offer a powerful and uniform language for programming, program specification and development, and logical reasoning. Series: International Series of Monographs on Computer Science. Num Pages: 240 pages, line figures throughout. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 241 x 161 x 19. Weight in Grams: 460. . 1994. hardcover. . . . . Books ship from the US and Ireland. …

Condition: As New. Unread book in perfect condition.

Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condition: As New. Unread book in perfect condition.

Condition: new. Questo è un articolo print on demand.

Hardcover. Condition: new. Hardcover. The book develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, it shows how the study of type theory may offer a powerful and uniform language for programming, program specification and development, and logical reasoning.The type theory developed here reflects a conceptual distinction between logical propositions and computational data types. Starting from introducing thebasic concepts, the author explains intuitively the meaning and use of the type-theoretic language with proof-theoretic justifications, and discusses various issues in the study of type theory. Thepragmatic use of the language is illustrated by developing an approach to specification and data refinement in type theory, which supports modular development of spcdifications, programs and proofs. Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, type theory is shown to offer a powerful and uniform language for programming, program specification and development, and logical reasoning. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Condition: New. Print on Demand pp. 244.

Condition: New. Print on Demand pp. 244 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.

Hardcover. Condition: new. Hardcover. The book develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, it shows how the study of type theory may offer a powerful and uniform language for programming, program specification and development, and logical reasoning.The type theory developed here reflects a conceptual distinction between logical propositions and computational data types. Starting from introducing thebasic concepts, the author explains intuitively the meaning and use of the type-theoretic language with proof-theoretic justifications, and discusses various issues in the study of type theory. Thepragmatic use of the language is illustrated by developing an approach to specification and data refinement in type theory, which supports modular development of spcdifications, programs and proofs. Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, type theory is shown to offer a powerful and uniform language for programming, program specification and development, and logical reasoning. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

Condition: New. PRINT ON DEMAND pp. 244.

Buch. Condition: Neu. Computation and Reasoning - A Type Theory for Computer Science | Zhaohui Luo (u. a.) | Buch | Gebunden | Englisch | 1994 | OUP Oxford | EAN 9780198538356 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.…