Name: Interactive Theorem Proving and Program Development
Price: 1176.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: 20. november 2024

Normalpris

BLACK NOVEMBER
1.176,95 kr. + Fragt
~~1.176,95 kr.~~

Medlemspris

1.126,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