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

Name: Adapting Proofs-as-Programs: The Curry--Howard Protocol - Monographs in Computer Science
Price: 167.99 EUR
Availability: OutOfStock
Author: Iman Poernomo

Cena

€ 167,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 26. avg - 9. sep

Prejemajte obvestila o novih izdajah izvajalca Iman Poernomo

Kaj pravijo naše stranke:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov

Najvišja ocena na Trustpilot

Dodaj na svoj seznam želja iMusic

Not rated yet

Na voljo tudi kot:

Hardcover Book

2005 edition

(2005) € 167,99

Adapting Proofs-as-Programs: The Curry--Howard Protocol - Monographs in Computer Science

Iman Poernomo

Softcover reprint of hardcover 1st ed. 2005 edition

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

Medij	Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano	19. novembra 2010
ISBN13	9781441920140
Založniki	Springer-Verlag New York Inc.
Strani	420
Dimenzije	155 × 235 × 22 mm · 603 g
Jezik	Angleščina