Adapting Proofs-as-Programs

Adapting Proofs-as-Programs

by Crossley, John Newsome

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Adapting Proofs-as-Programs / John Newsome Crossley.

Edition Statements

  • Publication Date:2005.

Publication Statements

Edition Identifiers

  • ISBN:9780387237596, 0387237593, 9780387281834, 0387281835
  • oclc:ocn318290758
  • Dewey Decimal:004

Subjects

Cálculo Lambda Demostración, Teoría de la Programación funcional

Writers

Crossley, John Newsome Poernomo, Iman Hafiz Wirsing, Martin

More from this Series

  • A Theory of Objects

    1996.
    more →
    A Theory of Objects

  • A Theory of Objects

    1996.
    more →
    A Theory of Objects

  • Software Configuration Management Using Vesta

    2006.
    more →
    Software Configuration Management Using Vesta

  • Software configuration management using Vesta

    c2006.
    more →
    Software configuration management using Vesta

  • Software Configuration Management Using Vesta

    2006.
    more →
    Software Configuration Management Using Vesta

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

No downloadable files are registered for this work yet.