Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 6133142553 ankaufen:
Suchtools
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 52,00 €, größter Preis: 52,00 €, Mittelwert: 52,00 €
Agda (Theorem Prover)
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Agda (Theorem Prover) - Taschenbuch

2010, ISBN: 6133142553, Lieferbar binnen 4-6 Wochen Versandkosten:Versandkostenfrei 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.

Neues Buch DEU
Buchgeier.com
Lieferbar binnen 4-6 Wochen (Besorgungstitel) Versandkosten:Versandkostenfrei innerhalb der BRD
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Agda (Theorem Prover) - Lambert M. Surhone (Editor), Mariam T. Tennoe (Editor), Susan F. Henssonow (Editor)
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Lambert M. Surhone (Editor), Mariam T. Tennoe (Editor), Susan F. Henssonow (Editor):
Agda (Theorem Prover) - neues Buch

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.

Neues Buch [USA] Barnesandnoble.com
Free Shipping on eligible orders over $25 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
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.

Detailangaben zum Buch - Agda (Theorem Prover)


EAN (ISBN-13): 9786133142558
ISBN (ISBN-10): 6133142553
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: VDM Verlag Dr. Mller AG & Co. Kg
120 Seiten
Gewicht: 0,186 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 15.01.2011 18:56:17
Buch zuletzt gefunden am 10.10.2014 18:11:15
ISBN/EAN: 6133142553

ISBN - alternative Schreibweisen:
613-3-14255-3, 978-613-3-14255-8


< zum Archiv...
Benachbarte Bücher