From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions - Lecture Notes in Computer Science - D. Snyers - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540182177 - 12 augusti 1987
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 659

Beställningsvara

Förväntad leverans 28 aug - 11 sep
Få avisering om nya utgåvor med D. Snyers

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

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

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 12 augusti 1987
ISBN13 9783540182177
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 125
Mått 155 × 233 × 7 mm   ·   199 g
Språk Engelska  

Mer från samma **utgivare**

Se alt med D. Snyers ( t.ex. Pocketbok )