All Formats & Editions
1 - 2 of 2 results found
Adapting Proofs-As-Programs: The Curry--Howard ...
Edition Description
This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering...
Edition Details
Format:Paperback
Language:English
ISBN:1441920145
Format: Paperback
Condition:
$
169.99
50 Available
Adapting Proofs-As-Programs: The Curry--Howard ...
Edition Description
This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering...
Edition Details
Format:Hardcover
Language:English
ISBN:0387237593
Format: Hardcover
Condition:
$
169.99
50 Available
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
