Français
France
s'inscrire
Conseils d'eurolivre.fr
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
Livre conseillé
Actualités
Publicité
FILTRE
- 0 Résultats
prix le plus bas: 52,00 €, prix le plus élevé: 52,00 €, prix moyen: 52,00 €
Agda (Theorem Prover)
Livre non disponible
(*)
Agda (Theorem Prover) - Livres de poche

2010, ISBN: 6133142553, Lieferbar binnen 4-6 Wochen Frais d'envoiVersandkostenfrei innerhalb der BRD

ID: 9786133142558

Internationaler Buchtitel. In englischer Sprache. Verlag: VDM Verlag Dr. Mller AG & Co. Kg, 120 Seiten, L=152mm, B=229mm, H=7mm, Gew.=186gr, [GR: 26310 - TB/Informatik/EDV/Allgemeines/Lexika], [SW: - Computers - General Information], Kartoniert/Broschiert, Klappentext: High Quality Content by WIKIPEDIA articles! Agda is a proof assistant, i.e. a computer program that can check mathematical proofs. More specifically, it is an interactive system for developing constructive proofs in a variant of Per Martin-Lof's Type Theory. It can also be seen as a functional programming language with dependent types and was developed by Ulf Norell, a post-doc at Chalmers University of Technology. Agda is based on the idea of direct manipulation of proof-term and not on tactics. The proof is a term, not a script. The language has ordinary programming constructs such as data-types and case-expressions, signatures and records, let-expressions and modules. The system has an Emacs interface and a graphical interface, Alfa. High Quality Content by WIKIPEDIA articles! Agda is a proof assistant, i.e. a computer program that can check mathematical proofs. More specifically, it is an interactive system for developing constructive proofs in a variant of Per Martin-Lof's Type Theory. It can also be seen as a functional programming language with dependent types and was developed by Ulf Norell, a post-doc at Chalmers University of Technology. Agda is based on the idea of direct manipulation of proof-term and not on tactics. The proof is a term, not a script. The language has ordinary programming constructs such as data-types and case-expressions, signatures and records, let-expressions and modules. The system has an Emacs interface and a graphical interface, Alfa.

Nouveaux livres DEU
Buchgeier.com
Lieferbar binnen 4-6 Wochen (Besorgungstitel) Frais d'envoiVersandkostenfrei innerhalb der BRD
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Agda (Theorem Prover) - Lambert M. Surhone (Editor), Mariam T. Tennoe (Editor), Susan F. Henssonow (Editor)
Livre non disponible
(*)
Lambert M. Surhone (Editor), Mariam T. Tennoe (Editor), Susan F. Henssonow (Editor):
Agda (Theorem Prover) - nouveau livre

ISBN: 9786133142558

Lambert M. Surhone (Editor), Mariam T. Tennoe (Editor), Susan F. Henssonow (Editor),Paperback, English-language edition, Pub by Betascript Publishing Books Computers~~General Agda~~Lambert-M-Surhone Betascript Publishing High Quality Content by WIKIPEDIA articles! Agda is a proof assistant, i.e. a computer program that can check mathematical proofs. More specifically, it is an interactive system for developing constructive proofs in a variant of Per Martin-Lof's Type Theory. It can also be seen as a functional programming language with dependent types and was developed by Ulf Norell, a post-doc at Chalmers University of Technology. Agda is based on the idea of direct manipulation of proof-term and not on tactics. The proof is a term, not a script. The language has ordinary programming constructs such as data-types and case-expressions, signatures and records, let-expressions and modules. The system has an Emacs interface and a graphical interface, Alfa.

Nouveaux livres [USA] Barnesandnoble.com
Free Shipping on eligible orders over $25 Frais d'envoiLivraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Détails sur le livre
Agda (Theorem Prover)

High Quality Content by WIKIPEDIA articles! Agda is a proof assistant, i.e. a computer program that can check mathematical proofs. More specifically, it is an interactive system for developing constructive proofs in a variant of Per Martin-Lof's Type Theory. It can also be seen as a functional programming language with dependent types and was developed by Ulf Norell, a post-doc at Chalmers University of Technology. Agda is based on the idea of direct manipulation of proof-term and not on tactics. The proof is a term, not a script. The language has ordinary programming constructs such as data-types and case-expressions, signatures and records, let-expressions and modules. The system has an Emacs interface and a graphical interface, Alfa.

Informations détaillées sur le livre - Agda (Theorem Prover)


EAN (ISBN-13): 9786133142558
ISBN (ISBN-10): 6133142553
Livre de poche
Date de parution: 2010
Editeur: VDM Verlag Dr. Mller AG & Co. Kg
120 Pages
Poids: 0,186 kg
Langue: eng/Englisch

Livre dans la base de données depuis 15.01.2011 18:56:17
Livre trouvé récemment le 10.10.2014 18:11:15
ISBN/EAN: 6133142553

ISBN - Autres types d'écriture:
613-3-14255-3, 978-613-3-14255-8


< pour archiver...
Livres en relation