Книга Deductive and Declarative Programming P. Padawitz

Deductive and Declarative Programming

Автор: P. Padawitz
Език: Английски език
Корици: С твърди корици
Издател: Cambridge University Press
Наличност: 50% вероятност
Ще претърсим света
86.43 169.04 лв
Declarative programs consist of mathematical functions and relations and so they are amenable to for...

Информация за книгата

Автор
Език
Английски език
Корици
Книга - С твърди корици
Издадена
1992
страници
285
EAN
9780521417235
ISBN
9780521417235
Enbook ID
08033766
Теглоt
651
Размери
178 x 254 x 17

Пълно описание

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.

Може също да ви хареса

62.09 121.44 лв
270.11 528.29 лв

Narwhal's Otter Friend

Ben (Author) Clanton
9.01 17.62 лв

Fatherless Fanny

Maria Edgeworth
31.54 61.69 лв
118.03 230.84 лв
12.92 25.26 лв
28.34 55.42 лв

It's All True

David Freeman
16.62 32.51 лв

Laugh If You Like

Lurma Rackley
18.17 35.54 лв

Blood Master

Jennifer Loiske
12.71 24.87 лв

Blight. [A Novel.]

Eveline Louisa Mitchell Farwell
21.53 42.11 лв

Weasel Tom

David Moxley
36.25 70.90 лв
57.03 111.55 лв

Клиенти, които купиха тази книга, купиха също

15.12 29.57 лв
70.20 137.30 лв

Dibujos de poemas

Trisán Encuentra
20.88 40.83 лв
7.76 15.17 лв