Adapting Proofs-as-Programs: The Curry--Howard Protocol - Monographs in Computer Science - Iman Poernomo - Grāmatas - Springer-Verlag New York Inc. - 9780387237596 - 2005. gada 21. jūnijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Iman Poernomo
Adapting Proofs-as-Programs: The Curry--Howard Protocol - Monographs in Computer Science 2005 edition

Cena
€ 180,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 31. jūl. - . gada 14. aug.
Saņemiet paziņojumus par jauniem Iman Poernomo izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

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, 54 black & white illustrations, biography

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2005. gada 21. jūnijs
ISBN13 9780387237596
Izdevēji Springer-Verlag New York Inc.
Lapas 420
Izmēri 155 × 235 × 23 mm   ·   784 g
Valoda Angļu  

Vairāk no tā paša izdevēja

Skatīt visus Iman Poernomo ( piem., Hardcover Book un Paperback Book )