[email protected]
LIBRISTO 0
Безплатна доставка със Speedy над 129 лв
Box Now 9 лв Speedy office 11 лв Speedy 13 лв ЕКОНТ 6 лв Еконтомат/Офис на Еконт 6 лв
phone Контакт phoneКак се пазарува?

Deductive and Declarative Programming

Език Английски езикАнглийски език
Книга С твърди корици
Книга Deductive and Declarative Programming P. Padawitz
Код Либристо: 08033766
Издателство Cambridge University Press, октомври 1992
Declarative programs consist of mathematical functions and relations and so they are amenable to for... Цялото описание
? points 240 b
185 лв
50% вероятност Ще претърсим света Кога ще получа книгата?

30 дни за връщане на стоката

Може би ще Ви заинтересува

Blood Master Jennifer Loiske / С меки корици
common.buy 29 лв
History of the Ohio Falls Cities and their counties, with illustrations and biographical sketches. Anonymous / С меки корици
common.buy 80 лв
The history of Sir Charles Grandison, and the Honourable Miss Byron: included memoirs of a noble Italian family. In a series of letters. Formerly pu Samuel Richardson / С меки корици
common.buy 38 лв
Wherever My Savior Leads Me Amy Sticha / С твърди корици
common.buy 64 лв
Jenny, a Poem, by H. M. Faustinetti. [with Illustrations. Preceded by an Invitation-Card from S. R. Bennett.] H Mer Michael Faustinetti / С меки корици
common.buy 36 лв
It's All True David Freeman / С меки корици
common.buy 38 лв
History of the Origin, Progress, and Termination of the American War. by C. Stedman, ... in Two Volumes. ... Volume 1 of 2 C. Stedman / С меки корици
common.buy 84 лв
Blight. [A Novel.] Eveline Louisa Mitchell Farwell / С меки корици
common.buy 49 лв
Laugh If You Like Lurma Rackley / С меки корици
common.buy 41 лв
Weasel Tom David Moxley / С твърди корици
common.buy 80 лв
Turbulent Vortex Flames Khalid Saqr / С меки корици
common.buy 133 лв

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.

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

Пълно заглавие Deductive and Declarative Programming
Автор P. Padawitz
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 1992
Брой страници 285
Баркод 9780521417235
ISBN 9780521417235
Код Либристо 08033766
Издателство Cambridge University Press
Тегло 651
Размери 178 x 254 x 17

Категории

Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer programming / software engineering
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo