Programs, proofs, processes

Programs, proofs, processes: proceedings

by Ferreira, Fernando

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Programs, proofs, processes : proceedings / 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; Fernando Ferreira [und weitere] (eds.).

Edition Statements

  • Publication Date:2010.

Publication Statements

  • Publisher(s):Springer
  • Place of Publication:Berlin
  • Language:eng
  • Publication Date:2010.

The Physical Object

  • Description:Online-Ressource

Edition Identifiers

  • ISBN:9783642139611, 3642139612, 9783642139628, 3642139620
  • DOI:10.1007/978-3-642-13962-8
  • oclc:ocn850858778
  • Dewey Decimal:004.0151

Subjects

ALGORITHMEN UND BERECHENBARE FUNKTIONEN… ALGORITHMES ET FONCTIONS CALCULABLES (M… ALGORITHMS AND COMPUTABLE FUNCTIONS (MA… CLASSES DE COMPLEXITÉ (INFORMATIQUE THÉ… COMPLEXITY CLASSES (THEORETICAL COMPUTE… CORRECTNESS (THEORY OF PROGRAMMING) KOMPLEXITÄTSKLASSEN (THEORETISCHE INFOR… KORREKTHEIT (THEORIE DER PROGRAMMIERUNG) PROGRAMMES CORRECTS (THÉORIE DE LA PROG… THÉORIE DE LA PROGRAMMATION THEORIE DER PROGRAMMIERUNG THEORY OF PROGRAMMING

Writers

Ferreira, Fernando

More from this Series

  • Generative and Transformational Techniques in Software Engineering III

    2011.
    more →
    Generative and Transformational Techniques in Software Engineering III

  • Generative and Transformational Techniques in Software Engineering III

    2011.
    more →
    Generative and Transformational Techniques in Software Engineering III

  • Generative and transformational techniques in software engineering III

    cop. 2011.
    more →
    Generative and transformational techniques in software engineering III

  • Generative and transformational techniques in software engineering III

    2011
    more →
    Generative and transformational techniques in software engineering III

  • Generative and transformational techniques in software engineering III

    2011.
    more →
    Generative and transformational techniques in software engineering III

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.

Log in to request a copy