Name: Adapting Proofs-as-Programs
Price: 1692.95 DKK
Availability: InStock
Author: Iman Poernomo
ISBN: 9781441920140

Adapting Proofs-as-Programs af Iman Poernomo

Du sparer 0% ift. normalprisen Spar 0%

Bag om Adapting Proofs-as-Programs

This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems.

Vis mere

Sprog:
Engelsk

ISBN:
9781441920140

Forlag:
Springer-Verlag New York Inc.

Indbinding:
Paperback

Sideantal:
420

Udgivet:
12. februar 2010

Udgave:
12005

Størrelse:
234x156x22 mm.

Vægt:
658 g.

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

Normalpris

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

Medlemspris

1.642,95 kr.

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

Bag om Iman Poernomo

Vis alle bøger af Iman Poernomo

Beskrivelse af Adapting Proofs-as-Programs

This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems.

Brugerbedømmelser af Adapting Proofs-as-Programs

Andre købte også..

Find lignende bøger

Bogen Adapting Proofs-as-Programs findes i følgende kategorier:

Business og læring > Computer og IT

Adapting Proofs-as-Programs - Iman Poernomo - Bog

Bag om Iman Poernomo

Beskrivelse af Adapting Proofs-as-Programs

Brugerbedømmelser af Adapting Proofs-as-Programs

Gør som tusindvis af andre bogelskere