Verwandte Artikel zu Computation and Reasoning - A Type Theory for Computer...
Computation and Reasoning - A Type Theory for Computer Science (INTERNATIONAL SERIES OF MONOGRAPHS ON COMPUTER SCIENCE, Band 11) - Hardcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Computation and Reasoning - A Type Theory for Computer...
Beispielbild für diese ISBN
Computation and Reasoning: A Type Theory for Computer Science (eng)
Print-on-DemandAnbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 5 von 5 Sternen
Zustand: new. Questo è un articolo print on demand. Bestandsnummer des Verkäufers 21d1743a8118c61b77e8b2ca034878a4
Neu kaufen
EUR 107,46
EUR 6,80 Versand
Versand von Italien nach USA
Versand von Italien nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Computation and Reasoning : A Type Theory for Computer Science
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 640821-n
Neu kaufen
EUR 118,60
EUR 2,32 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Computation and Reasoning : A Type Theory for Computer Science
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 640821-n
Neu kaufen
EUR 116,82
EUR 17,45 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Computation and Reasoning (Hardcover)
Verlag:
Oxford University Press, Oxford, 1994
ISBN 10: 0198538359
ISBN 13: 9780198538356
Neu
Hardcover
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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. Bestandsnummer des Verkäufers 9780198538356
Beispielbild für diese ISBN
Computation and Reasoning - A Type Theory for Computer Science
Print-on-DemandAnbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
HRD. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L1-9780198538356
Neu kaufen
EUR 136,21
EUR 5,84 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Computation and Reasoning: A Type Theory for Computer Science
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardback. Zustand: New. New copy - Usually dispatched within 4 working days. Bestandsnummer des Verkäufers B9780198538356
Neu kaufen
EUR 135,83
EUR 18,20 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In English. Bestandsnummer des Verkäufers ria9780198538356_new
Neu kaufen
EUR 147,62
EUR 13,13 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Computation and Reasoning: A Type Theory for Computer Science: 11 (International Series of Monographs on Computer Science)
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. . . . . Bestandsnummer des Verkäufers V9780198538356
Neu kaufen
EUR 152,88
EUR 9,50 Versand
Versand von Irland nach USA
Versand von Irland nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Computation and Reasoning - A Type Theory for Computer Science
Print-on-DemandAnbieter: Books Puddle, Woodside, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand pp. 244. Bestandsnummer des Verkäufers 26482900
Neu kaufen
EUR 173,96
EUR 3,51 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Computation and Reasoning (Hardcover)
Verlag:
Oxford University Press, Oxford, 1994
ISBN 10: 0198538359
ISBN 13: 9780198538356
Neu
Hardcover
Anbieter: CitiRetail, Stevenage, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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. Bestandsnummer des Verkäufers 9780198538356
Neu kaufen
EUR 143,75
EUR 43,04 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar