Name: Adapting Proofs-as-Programs
Price: 1610.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: 2-3 uger.
Forventet levering: 10. Juli 2024

Normalpris

1.610,95 kr. + Fragt
~~1.610,95 kr.~~

Medlemspris

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