Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley.

By: Poernomo, Iman HafizContributor(s): Wirsing, Martin | Crossley, John Newsome | SpringerLink (Online service)Material type: Computer fileComputer fileSeries: Monographs in Computer SciencePublisher: New York, NY : Springer Science+Business Media Inc., 2005Description: v.: digitalISBN: 9780387281834Subject(s): Computer science | Logic design | Software engineering | Logic, Symbolic and mathematical | Computer Science | Logics and Meanings of Programs | Mathematical Logic and Foundations | Logic Design | Programming Techniques | Software Engineering/Programming and Operating Systems | Models and PrinciplesLOC classification: QA9.54 . | P64 2005Online resources: Click here to access online In: Springer eBooks
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Call number Vol info URL Copy number Status Notes Date due Barcode
Biblioteca Digital
Responsable: Alejandra Vargas Mejía
QA9.54 .P64 2005 (Browse shelf) BDIG00000386 Link to resource 1 Available SpringerLink BDIG00000386

There are no comments on this title.

to post a comment.

Powered by Koha