Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв Speedy 13.00 лв ЕКОНТ 6.00 лв Еконтомат/Офис на Еконт 6.00 лв Box Now 6.00 лв

Systematic Program Design

Език Английски езикАнглийски език
Книга С твърди корици
Книга Systematic Program Design Yanhong Annie Liu
Код Либристо: 01338439
Издателство Cambridge University Press, май 2013
A systematic program design method can help developers ensure the correctness and performance of pro... Цялото описание
? points 301 b
234.38 лв
Външен склад Изпращаме след 15-20 дни

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


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


MemoMapka matematiky 1 collegium / С меки корици
common.buy 9.15 лв
Najkrajšie pešie prechody Daniel Kollár / Карта
common.buy 26.67 лв
Art/Porn Kelly Dennis / С твърди корици
common.buy 313.02 лв
Philosophical Foundations of the Nature of Law Wil Waluchow / С твърди корици
common.buy 405.05 лв
ПОДГОТВЯМЕ
Sir Cyril Cyril Taylor / С меки корици
common.buy 28.68 лв
Language, Identity and Study Abroad Jane Jackson / С меки корици
common.buy 75.50 лв
Was It Something I Said? Jess McCann / С меки корици
common.buy 27.88 лв
One Hundred Victories Linda Robinson / С меки корици
common.buy 29.79 лв
Internal and External Stabilization of Linear Systems with Contraints Ali Saberi / С твърди корици
common.buy 388.03 лв
Alto Saxophone Play-Along / С меки корици
common.buy 44.09 лв

A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis and transformations. The method applies to problems specified in imperative, database, functional, logic and object-oriented programming languages with different data, control and module abstractions. Designed for courses or self-study, this book includes numerous exercises and examples that require minimal computer science background, making it accessible to novices. Experienced practitioners and researchers will appreciate the detailed examples in a wide range of application areas including hardware design, image processing, access control, query optimization and program analysis. The last section of the book points out directions for future studies.

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

Пълно заглавие Systematic Program Design
Автор Yanhong Annie Liu
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 2013
Брой страници 252
Баркод 9781107036604
ISBN 1107036607
Код Либристо 01338439
Издателство Cambridge University Press
Тегло 55
Размери 158 x 240 x 20
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

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

 
задължително
задължително

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

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

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