Książka Deductive and Declarative Programming P. Padawitz

Deductive and Declarative Programming

Autor: P. Padawitz
Język: Angielski
Oprawa: Twarda
Dostępność: 50 % szansa
Przeszukamy cały świat
349.89
Declarative programs consist of mathematical functions and relations and so they are amenable to for...

Informacje o książce

Autor
Język
Angielski
Oprawa
Książka - Twarda
Data wydania
1992
strony
285
EAN
9780521417235
ISBN
9780521417235
Enbook ID
08033766
Waga
651
Wymiary
178 x 254 x 17

Pełny opis

Declarative programs consist of mathematical functions and relations and so they are amenable to formal specification and verification. This book emphasizes verification based on logic inference rules, attempting to capture the actual styles and applications of programming.

Możesz być zainteresowany

248.78

Narwhal's Otter Friend

Ben (Author) Clanton
35.77

Fatherless Fanny

Maria Edgeworth
133.67
54.82
120.16

It's All True

David Freeman
70.38

Laugh If You Like

Lurma Rackley
76.99

Blood Master

Jennifer Loiske
53.95

Blight. [A Novel.]

Eveline Louisa Mitchell Farwell
91.28

Weasel Tom

David Moxley
153.70
230.99

Klienci, którzy kupili tę książkę, kupili również

281.15

Dibujos de poemas

Trisán Encuentra
84.38
31.39