Computation and Reasoning: A Type Theory for Computer Science: 11 (International Series of Monographs on Computer Science) - Tapa dura
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados 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
Comprar usado
EUR 41,14
EUR 3,19 shipping
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
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
Comprar nuevo
EUR 85,82
EUR 2,25 shipping
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Computation and Reasoning - A Type Theory for Computer Science
Publicado por
Oxford University Press, 1994
ISBN 10: 0198538359
ISBN 13: 9780198538356
Nuevo
Tapa dura
Librerí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
Comprar nuevo
EUR 88,13
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Computation and Reasoning - A Type Theory for Computer Science
Publicado por
Oxford University Press, 1994
ISBN 10: 0198538359
ISBN 13: 9780198538356
Nuevo
Tapa dura
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 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
Comprar nuevo
EUR 84,29
EUR 5,72 shipping
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
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: Toscana Books, AUSTIN, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Nº de ref. del artículo: Scanned0198538359
Comprar nuevo
EUR 94,88
EUR 3,66 shipping
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 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
Comprar nuevo
EUR 84,28
EUR 17,08 shipping
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Computation and Reasoning: A Type Theory for Computer Science (eng)
Impresión bajo demandaLibrería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 5 de 5 estrellas
Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: 21d1743a8118c61b77e8b2ca034878a4
Comprar nuevo
EUR 99,95
EUR 6,80 shipping
Se envía de Italia a Estados Unidos de America
Se envía de Italia a Estados Unidos de America
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
Comprar nuevo
EUR 107,68
EUR 3,40 shipping
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
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: 5 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. This item is printed on demand. 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
Comprar nuevo
EUR 82,53
EUR 31,51 shipping
Se envía de Australia a Estados Unidos de America
Se envía de Australia a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Computation and Reasoning: A Type Theory for Computer Science
Publicado por
Oxford University Press, 1994
ISBN 10: 0198538359
ISBN 13: 9780198538356
Nuevo
Tapa dura
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 490. Nº de ref. del artículo: C9780198538356
Comprar nuevo
EUR 97,18
EUR 17,82 shipping
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles