Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Constructive Analysis and Synthesis of Programs

Език Английски езикАнглийски език
Книга С твърди корици
Книга Constructive Analysis and Synthesis of Programs Marco Benini
Код Либристо: 08576148
Издателство Lulu.com, октомври 2009
Starting from the analysis of the problem behind formal verification of programs and showing the nee... Цялото описание
? points 74 b
30.52 €
59.70  лв
Външен склад Изпращаме след 9-15 дни

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

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

Blue Skies T. C. Boyle / Книга С меки корици
common.buy 14.36 € 28.08 лв
Fotodinámica: una nueva tendencia emergente en odontología Arundeep Kaur Lamba / Книга С меки корици
common.buy 33.99 € 66.47 лв
Bulletin de bibliographie d'histoire et de biographie mathématique Olry Terquem / Книга С меки корици
common.buy 23.65 € 46.26 лв
Fondamenti di informatica Yogesh Kumar Sharma / Книга С меки корици
common.buy 70.51 € 137.90 лв
Hier kommt ein T-Rex vor. Und das ist erst der Anfang! Noémie Favart / Книга С твърди корици
common.buy 15.29 € 29.90 лв
Ремесленный хлеб и сдоба на закваске Ольга Войнова / Книга С твърди корици
common.buy 37.55 € 73.44 лв
Milli Tarihin Insasi / Книга С меки корици
common.buy 17.97 € 35.15 лв
Desafios em projetos Daiane Freire Benites / Книга С меки корици
common.buy 33.99 € 66.47 лв
El pirata y el boticario Robert Louis . . . [et al. ] Stevenson / Книга С меки корици
common.buy 21.43 € 41.92 лв
Ruckforderung schwiegerelterlicher Zuwendungen Anna Leszczenski / Книга С твърди корици
common.buy 91.43 € 178.82 лв
Le Poeme de Lucrece: Morale, Religion, Science (Ed.1896) Constant Martha / Книга С меки корици
common.buy 30.16 € 58.99 лв
El Colibrí que perdió su pico. Der Kolibri, der seinen Schnabel verlor. The Hummingbird that losts his beak José Paniagua / Книга С твърди корици
common.buy 16.11 € 31.51 лв
Lord Byron Alfred Schirokauer / Книга С меки корици
common.buy 23.55 € 46.06 лв

Starting from the analysis of the problem behind formal verification of programs and showing the need for automatic synthesis and analysis of computer programs, the book presents the logical systems to reason about programs, the way to encode specifications so to enable their computational reading. Then, the mathematics behind synthesis and analysis of computer programs is developed in depth.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

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

Пълно заглавие Constructive Analysis and Synthesis of Programs
Автор Marco Benini
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 2009
Брой страници 140
Баркод 9781445206387
ISBN 9781445206387
Код Либристо 08576148
Издателство Lulu.com
Тегло 379
Размери 152 x 229 x 11

Категории

Mathematics & Science > Science: general issues
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Europe by Rail: The Definitive Guide (18th edition) Nicky Gardner / Книга С меки корици
common.buy 28.20 € 55.15 лв
Hicons 14 Conference on High Confidence Networked Systems Hicons 14 Conference Committee / Книга С меки корици
common.buy 52.12 € 101.93 лв
Be with Me Mike Chernuk / Книга С меки корици
common.buy 13.22 € 25.85 лв
Talk's Cheap, Action's Expensive - The Films of Robert L. Lippert Mark Thomas McGee / Книга С меки корици
common.buy 27.84 € 54.45 лв
More Hypnotic Scripts That Work John Cerbone / Книга С меки корици
common.buy 59.76 € 116.88 лв
Starfish Girl Athena Villaverde / Книга С меки корици
common.buy 16.53 € 32.32 лв
The Princess in Black and the Kitty Catastrophe Shannon Hale / Книга С меки корици
common.buy 6.25 € 12.21 лв
Communicatie Bij Hersenletsel E Witteveen / Книга С твърди корици
common.buy 50.83 € 99.41 лв
American Journal of Physiology, Volume 47 American Physiological Society / Книга С твърди корици
common.buy 41.01 € 80.21 лв
Foxe's Book of Martyrs John Foxe / Книга С меки корици
common.buy 24.33 € 47.58 лв
Foreign Missions Rufus Anderson / Книга С твърди корици
common.buy 36.31 € 71.02 лв
Young Robin Hood George Manville Fenn / Книга С меки корици
common.buy 13.01 € 25.45 лв
Spinosaurus Ben Garrod / Книга С меки корици
common.buy 9.29 € 18.18 лв
Late Hector Kipling David Thewlis / Книга С меки корици
common.buy 18.75 € 36.66 лв
Sakhee Book: Or the Description of Gooroo Gobind Singh's Religion and Doctrines (1873) Sirdar Attar Singh / Книга С твърди корици
common.buy 41.99 € 82.13 лв
Inward Yung Pueblo / Аудиокнига MP3
common.buy 15.80 € 30.91 лв
1.LOOK, LISTEN & LEARN.(METHOD FOR HORN) / Книга Книга
common.buy 32.54 € 63.64 лв
Monochrome Craig G. Staff / Книга С твърди корици
common.buy 167.67 € 327.94 лв
Foreign Direct Investment Daniel Nicholls / Книга С твърди корици
common.buy 101.19 € 197.91 лв
Remythologizing Theology Kevin J. Vanhoozer / Книга С меки корици
common.buy 71.39 € 139.62 лв
Design for Six Sigma Kai Yang / Книга С твърди корици
common.buy 138.39 € 270.66 лв
Love Won't Let Me Be Silent Terry Angel Mason / Книга С твърди корици
common.buy 21.59 € 42.22 лв
Blogging for Writers Robin Houghton / Книга С меки корици
common.buy 32.33 € 63.24 лв
X Marks the Spot Russell K. Skowronek / Книга С меки корици
common.buy 21.64 € 42.32 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?