Проверка на състоянието на поръчката
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€

Correctness-by-Construction Approach to Programming

Език Английски езикАнглийски език
Книга С твърди корици
Книга Correctness-by-Construction Approach to Programming Derrick G. Kourie
Код Либристо: 01660456
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, април 2012
Focusing on ways to bridge the gap between formal and more intuitive software programming, this care... Цялото описание
? points 289 b
119.85 €
234.40  лв
Външен склад в ограничено количество Изпращаме след 11-15 дни

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

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

Sáček textil béžový 25x39cm mix / Книга binding.
common.buy 4.45 € 8.71 лв
J'aime collegium / Книга С меки корици
common.buy 12.48 € 24.41 лв
Wärmeinduzierte Wechselwirkungen zwischen Kasein, Molkeproteinen und Lecithinen Mamdouh El-Bakry / Книга С меки корици
common.buy 40.98 € 80.16 лв
Tetris – hra, ktorá zmenila dejiny Box Brown / Книга С меки корици
common.buy 19.27 € 37.69 лв
Kosmokluk David Walliams / Книга С меки корици
common.buy 15.13 € 29.58 лв
Supersensible Impulses P. King / Книга С меки корици
common.buy 23.16 € 45.29 лв
SAN ANTONIO T3 TITRE A PRECISER Sanlaville / Книга С твърди корици
common.buy 20.36 € 39.82 лв
Изгодно
Good Boy - Jófiú Elle Kennedy / Книга С твърди корици
common.buy 7.51 € 14.69 лв
Puedo Mirar Tu Regalo Guido van Genechten / Книга С твърди корици
common.buy 15.33 € 29.99 лв
ENGLISH PRONUNCIATION AA. VV / Книга С меки корици
common.buy 27.04 € 52.89 лв
Guérir par l'énergie, la méditation et la thérapie VORGER / Книга С меки корици
common.buy 11.76 € 23.00 лв
Dictionnaire des oeuvres érotiques COLLECTIFS MERC / Книга С твърди корици
common.buy 39.27 € 76.81 лв
Das Verhältnis Des Neugriechischen Zu Den Romanischen Sprachen: Eine Sprachvergleichende Betrachtun Hans Muller / Книга С твърди корици
common.buy 33.99 € 66.47 лв
Arabesky Jan Neruda / Книга С твърди корици
common.buy 8.65 € 16.91 лв
Introducción al Derecho de la Seguridad Social Santiago González Ortega / Книга С меки корици
common.buy 38.81 € 75.90 лв
La negociación del convenio colectivo estatutario Francisco Ramón Lacomba Pérez / Книга С меки корици
common.buy 20.83 € 40.73 лв
111 Gründe, Atlético Madrid zu lieben André Kahle / Книга С меки корици
common.buy 14.40 € 28.16 лв
Histoire de Sainte Monique 5e Edition Bougaud-L-E / Книга С меки корици
common.buy 40.21 € 78.63 лв
AutoCAD 2008, paso a paso Rafael Ábalos Bergillos / Книга С меки корици
common.buy 30.98 € 60.60 лв
Histoire de La R'Volution Russe. La R'Volution D'Octobre T2 L'On Trotsky / Книга С меки корици
common.buy 13.88 € 27.15 лв
Die Vorsokratischen Philosophen Geoffrey S. Kirk / Книга С меки корици
common.buy 24.71 € 48.33 лв

Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded text provides stepwise explanation of algorithm derivation and facilitates practical applications in computation geometry, among other fields.

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

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

Пълно заглавие Correctness-by-Construction Approach to Programming
Автор Derrick G. Kourie, Bruce W. Watson
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 2012
Брой страници 266
Баркод 9783642279188
ISBN 364227918X
Код Либристо 01660456
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 556
Размери 165 x 235 x 26

Категории

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

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

Advanced Network Programming - Principles and Techniques Bogdan Ciubotaru / Книга С твърди корици
common.buy 61.19 € 119.68 лв
The Spaewife: A Tale of the Scottish Chronicles, Volume 2 John Galt / Книга С меки корици
common.buy 23.16 € 45.29 лв
The Hidden Life of Jesus: A Lesson and Model to Christians: Large Print Edition Henri-Marie Boudon / Книга С меки корици
common.buy 19.58 € 38.30 лв
The Winter Wives MacIntyre / Книга С меки корици
common.buy 13.78 € 26.95 лв
Ketogenic Diet: The Ultimate guide for beginners Holly Barnes / Книга С меки корици
common.buy 10.36 € 20.26 лв
The Government of England. Volume 2 of 2 A Lawrence Lowell / Книга С меки корици
common.buy 30.77 € 60.19 лв
Raw Food/Real World Matthew Kenney / E-книга Adobe ePub DRM
common.buy 14.09 € 27.56 лв
ESP8266 Internet of Things Cookbook MARCO SCHWARTZ / Книга С меки корици
common.buy 36.47 € 71.34 лв
Egret Ranch Andrew Gaeddert / Книга С меки корици
common.buy 13.73 € 26.85 лв
Hark to These Three Talk about Style T Sturge 1870-1944 Moore / Книга С твърди корици
common.buy 29.79 € 58.26 лв
Нови
Paul the Rabbi Philosopher: Stoic and Jewish Philosophy in the Apostle's Thought DODSON JOSEPH R / Книга С меки корици
common.buy 23.16 € 45.29 лв
Weaving Carpets - The History of the Manufacture and Machinery Clinton G. Gilroy / Книга С меки корици
common.buy 29.69 € 58.06 лв
Elizabeth Bishop Robert Giroux / Книга С твърди корици
common.buy 35.75 € 69.92 лв
Your Child at Play Marilyn Segal / Книга С меки корици
common.buy 23.57 € 46.10 лв
History of Umuchu S. A. Nnolim / Книга С меки корици
common.buy 17.04 € 33.33 лв
Normativity and Phenomenology in Husserl and Heidegger Steven Crowell / Книга С твърди корици
common.buy 107.83 € 210.89 лв
Modern Cosmology Scott Dodelson / Книга С твърди корици
common.buy 112.54 € 220.12 лв
Top
Origins of the Second World War A J P Taylor / Книга С меки корици
common.buy 14.92 € 29.18 лв
Collected Poems David Constantine / Книга С меки корици
common.buy 18.80 € 36.78 лв
Game Theory in the Social Sciences Lambertini / Книга С меки корици
common.buy 116.12 € 227.11 лв
Charting Transformation through Security Toni Haastrup / Книга С твърди корици
common.buy 61.19 € 119.68 лв
Food Contaminants and Residue Analysis Yolanda Pico / Книга С твърди корици
common.buy 174.67 € 341.63 лв
Self-Giving God and Salvation History Matthew L. Becker / Книга С меки корици
common.buy 107.26 € 209.78 лв
Politics And Philosophy: Niccolo Machiavelli And Louis Althusser's Aleatory Materialism Mikko Lahtinen / Книга С меки корици
common.buy 33.26 € 65.05 лв

Вход

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

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

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

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

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