From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions - Lecture Notes in Computer Science - D. Snyers - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540182177 - 12. avgusta 1987
Če se naslovnica in naslov ne ujemata, je naslov pravilen

D. Snyers
From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions - Lecture Notes in Computer Science 1987 edition

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 18. - 28. sep
Prejemajte obvestila o novih izdajah izvajalca D. Snyers

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

This work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws. A systematic examination of deductive laws and of constructive laws is presented.

125 pages, biography

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 12. avgusta 1987
ISBN13 9783540182177
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 125
Dimenzije 155 × 233 × 7 mm   ·   199 g
Jezik Angleščina  

Več od istega **izdajatelja**

Ogled vseh D. Snyers