Name: Interactive Theorem Proving and Program Development
Price: 1236.95 DKK
Availability: InStock
Author: Yves Bertot
ISBN: 9783540208549

Interactive Theorem Proving and Program Development af Yves Bertot

Du sparer 0% ift. normalprisen Spar 0%

Bag om Interactive Theorem Proving and Program Development

A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Vis mere

Sprog:
Engelsk

ISBN:
9783540208549

Forlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Indbinding:
Hardback

Sideantal:
472

Udgivet:
14. maj 2004

Udgave:
2004

Størrelse:
239x163x36 mm.

Vægt:
912 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 13. december 2024

Forlænget returret til d. 31. januar 2025

Normalpris

BLACK WEEK
1.236,95 kr. + Fragt
~~1.236,95 kr.~~

Medlemspris

1.186,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Yves Bertot

Vis alle bøger af Yves Bertot

Beskrivelse af Interactive Theorem Proving and Program Development

A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Brugerbedømmelser af Interactive Theorem Proving and Program Development

Andre købte også..

Find lignende bøger

Bogen Interactive Theorem Proving and Program Development findes i følgende kategorier:

Business og læring

Interactive Theorem Proving and Program Development - Yves Bertot - Bog

Bag om Yves Bertot

Beskrivelse af Interactive Theorem Proving and Program Development

Brugerbedømmelser af Interactive Theorem Proving and Program Development

Gør som tusindvis af andre bogelskere