Adapting Proofs-as-Programs: The Curry--Howard Protocol - Monographs in Computer Science - Iman Poernomo - Knjige - Springer-Verlag New York Inc. - 9780387237596 - 21. junija 2005
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 166,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 23. sep - 7. okt
Prejemajte obvestila o novih izdajah izvajalca Iman Poernomo

Kaj pravijo naše stranke:

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:

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

Medij Knjige     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 21. junija 2005
ISBN13 9780387237596
Založniki Springer-Verlag New York Inc.
Strani 420
Dimenzije 155 × 235 × 23 mm   ·   784 g
Jezik Angleščina  

Več od istega **izdajatelja**

Ogled vseh Iman Poernomo