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

Unifying Theories of Programming and Formal Engineering Methods

International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Език Английски езикАнглийски език
Книга С меки корици
Книга Unifying Theories of Programming and Formal Engineering Methods Zhiming Liu
Код Либристо: 05281595
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юли 2013
This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engin... Цялото описание
? points 132 b
54.42 €
106.43  лв
Външен склад Изпращаме след 5-8 дни

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

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

Road to the Euros (Ultimate Football Heroes): Collect them all! Matt & Tom Oldfield / Книга С меки корици
common.buy 8.17 € 15.98 лв
L'ALTRA CARA DE LA HISTORIA DE CATALUNYA XURIGUERA / Книга Книга
common.buy 9.51 € 18.61 лв
Battant, dormant Blanchard Книга С меки корици
common.buy 17.32 € 33.88 лв
QISQA MUDDATLI TASVIR ISHLASHNING KASBIY FAOLIYATDAGI AHAMIYATI Komoldinov Sirojiddin / Книга С меки корици
common.buy 41.48 € 81.14 лв
La musique, c'est ma vie Bechet / Книга С меки корици
common.buy 22.14 € 43.29 лв
Aliocha Troyat Henri Книга С меки корици
common.buy 8.12 € 15.87 лв
Johann Hinrich Wichern, Sein Leben Und Wirken, Nach Seinem Schriftlichen Nachlasz Und Den Mittheilungen Der Familie Volume 1 Friedrich Oldenberg / Книга С меки корици
common.buy 31.60 € 61.81 лв
Depuis le r?gne de Phillippe-Auguste, jusqu'au commencement du dix-septi?me Volume 44 Claude Bernard Petitot / Книга С меки корици
common.buy 31.60 € 61.81 лв
Biblia de referencia Thompson Milenio Reina Valera 1960, Tapa Dura / Spanish Thompson Chain Reference Bible, Millennium Edition RVR 1960, Hardcover Zondervan / Книга С твърди корици
common.buy 42.26 € 82.65 лв
Die Professionalisierung der Physiotherapeuten Alice Maria Strassnitzky / Книга С меки корици
common.buy 109.15 € 213.48 лв
Allweiser Schoepfer und durchsetzungsstarker Gesetzgeber Christian Blumenthal / Книга С твърди корици
common.buy 123.32 € 241.20 лв

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. They cover topics such as component-based and service-oriented systems, real-time systems, hybrid systems, cyber physical systems, and present techniques such as inductive theorem proving, model checking, correction by construction through refinement and model transformations, synthesis, and computer algebra. Two of the courses are explicitly related to Hoare and He's Unifying Theories of Programming.

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

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

Пълно заглавие Unifying Theories of Programming and Formal Engineering Methods
Автор Zhiming Liu, Jim Woodcock, Huibiao Zhu
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2013
Брой страници 283
Баркод 9783642397202
ISBN 3642397204
Код Либристо 05281595
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 456
Размери 155 x 235 x 19

Категории

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

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

Cream CLAPTON / Книга С меки корици
common.buy 39.41 € 77.09 лв
In Silk Attire. a Novel. Black / Книга С меки корици
common.buy 22.24 € 43.50 лв
May God Have Mercy on Your Soul Jack Jenkins / Книга С твърди корици
common.buy 20.02 € 39.15 лв
Teaching Science with Hispanic ELLs in K-16 Classrooms Cynthia S. Sunal / Книга С меки корици
common.buy 62.02 € 121.30 лв
Clinical Applications for Next-Generation Sequencing Urszula Demkow / Книга С меки корици
common.buy 97.51 € 190.71 лв
Cost-Benefit Analysis for Project Appraisal Per-Olov Johansson / Книга С меки корици
common.buy 45.16 € 88.32 лв
To the Limit: An Air Cav Huey Pilot in Vietnam Tom A. Johnson / Книга С меки корици
common.buy 22.76 € 44.51 лв
Easiest Elementary Method for Beginners, Op. 38: Violin Method Wohlfahrt Franz / Книга С меки корици
common.buy 11.53 € 22.55 лв
Church, State and Jew in the Middle Ages Robert Chazan / Книга С меки корици
common.buy 27.98 € 54.73 лв
Use of Somatotropin in Livestock Production K. Serjsen / Книга С твърди корици
common.buy 216.86 € 424.13 лв
Charlotte and the Rock Stephen W. Martin / Книга С твърди корици
common.buy 15.05 € 29.43 лв
Martyr's Monument Abraham Lincoln / Книга С меки корици
common.buy 24.57 € 48.05 лв
52 Things Barbara Wants Daniel To Know: A Different Way To Say It J L Leyva / Книга С меки корици
common.buy 17.27 € 33.78 лв
Breaking Chaos Ben Galley / Книга С меки корици
common.buy 18.41 € 36.01 лв
Quinn's Lady/Quinn's Revenge Amanda Ashley / Книга С меки корици
common.buy 13.50 € 26.40 лв
Free to Live Tracey Jerald / Книга С меки корици
common.buy 14.84 € 29.03 лв
Jolly Phonics Workbook 1 Sara Wernham / Книга С меки корици
common.buy 4.75 € 9.30 лв
Intellectual Religion (1912) Curran Ryan Thomas / Книга С меки корици
common.buy 25.03 € 48.96 лв
Brain, Mind and Medicine: Harry Whitaker / Книга С твърди корици
common.buy 162.74 € 318.30 лв
I Love Being an Axolotl: Padded Board Book Natalie Merheb / Книга Дипляна
common.buy 8.43 € 16.48 лв
Hurricane Aces 1941-45 Andrew Thomas / Книга С меки корици
common.buy 19.45 € 38.03 лв
Relationship-Driven Classroom Management John M. Vitto / Книга С меки корици
common.buy 34.09 € 66.67 лв
Saharan Rock Art Augustin Holl / Книга С твърди корици
common.buy 139.62 € 273.07 лв
Visions of Zion Erin C. MacLeod / Книга С твърди корици
common.buy 69.42 € 135.77 лв

Вход

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

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

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

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

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