Artículos relacionados a Computation and Reasoning: A Type Theory for Computer...
Computation and Reasoning: A Type Theory for Computer Science: 11 (International Series of Monographs on Computer Science) - Tapa dura
Sinopsis
Book by Zhaohui Luo
"Sinopsis" puede pertenecer a otra edición de este libro.
Críticas
a comprehensive account of ... one particular type theory, The Extended Calculus of Constructions ... I found this to be a well written, thorough and enjoyable account of the ECC ... I recommend Computation and Reasoning wholeheartedly. (The Computer Journal, Vol 37, No 6, 1994)
Reseña del editor
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 the basic 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. The pragmatic 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.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialClarendon Press
- Año de publicación1994
- ISBN 10 0198538359
- ISBN 13 9780198538356
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de páginas240
Comprar nuevo
Ver este artículo
EUR 86,74
EUR 2,33 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envíoResultados de la búsqueda para Computation and Reasoning: A Type Theory for Computer...
Imagen de archivo
Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science)
Publicado por
Clarendon Press, 1994
ISBN 10: 0198538359
ISBN 13: 9780198538356
Antiguo o usado
Tapa dura
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_414231946
Cantidad disponible: 1 disponibles
Imagen de archivo
Computation and Reasoning: A Type Theory for Computer Science
Publicado por
Clarendon Press, 1994
ISBN 10: 0198538359
ISBN 13: 9780198538356
Antiguo o usado
Tapa dura
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: E-595-580
Gastos de envío:
EUR 10,00
De Francia a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Computation and Reasoning: A Type Theory for Computer Science
Publicado por
Clarendon Press, 1994
ISBN 10: 0198538359
ISBN 13: 9780198538356
Antiguo o usado
Tapa dura
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: E-551-499
Gastos de envío:
EUR 10,00
De Francia a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen del vendedor
Computation and Reasoning : A Type Theory for Computer Science
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 640821-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Computation and Reasoning - A Type Theory for Computer Science: 11 (International Series of Monographs on Computer Science)
Impresión bajo demandaLibrería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
HRD. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L1-9780198538356
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Computation and Reasoning - A Type Theory for Computer Science: 11 (International Series of Monographs on Computer Science)
Impresión bajo demandaLibrería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
HRD. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L1-9780198538356
Gastos de envío:
EUR 5,91
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Computation and Reasoning (Hardcover)
Publicado por
Oxford University Press, Oxford, 1994
ISBN 10: 0198538359
ISBN 13: 9780198538356
Nuevo
Tapa dura
Librería: AussieBookSeller, Truganina, VIC, Australia
Calificación del vendedor: 3 de 5 estrellas
Hardcover. Condición: 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Nº de ref. del artículo: 9780198538356
Gastos de envío:
EUR 32,68
De Australia a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9780198538356_new
Gastos de envío:
EUR 14,09
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Computation and Reasoning : A Type Theory for Computer Science
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 640821-n
Gastos de envío:
EUR 17,65
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Feb2215580042989
Cantidad disponible: Más de 20 disponibles