Adapting Proofs-as-Programs: The Curry--Howard Protocol - Monographs in Computer Science - Iman Poernomo - Bøker - Springer-Verlag New York Inc. - 9781441920140 - 19. november 2010
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Iman Poernomo
Adapting Proofs-as-Programs: The Curry--Howard Protocol - Monographs in Computer Science Softcover reprint of hardcover 1st ed. 2005 edition

Pris
NOK 1.619

Bestillingsvarer

Forventes levert 9. - 19. jan 2026
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Finnes også som:

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.

420 pages, black & white illustrations

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 19. november 2010
ISBN13 9781441920140
Utgivere Springer-Verlag New York Inc.
Antall sider 420
Mål 155 × 235 × 22 mm   ·   603 g
Språk Engelsk  

Se alt med Iman Poernomo ( f.eks. Innbunden bok og Pocketbok )