Name: Adapting Proofs-as-Programs
Price: 1770.95 DKK
Availability: InStock
Author: Iman Poernomo
ISBN: 9780387237596

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:
9780387237596

Forlag:
Springer-Verlag New York Inc.

Indbinding:
Hardback

Sideantal:
420

Udgivet:
21. juni 2005

Udgave:
2005

Størrelse:
234x156x23 mm.

Vægt:
1730 g.

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

Forlænget returret til d. 31. januar 2025

Normalpris

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

Medlemspris

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

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