Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Unifying Theories of Programming and Formal Engineering Methods Zhiming Liu
Libristo kód: 05281595
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červenec 2013
This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engin... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Road to the Euros (Ultimate Football Heroes): Collect them all! Matt & Tom Oldfield / Kniha Brožovaná
common.buy 173 Kč
L'ALTRA CARA DE LA HISTORIA DE CATALUNYA XURIGUERA / Kniha Kniha
common.buy 221 Kč
Battant, dormant Blanchard Kniha Brožovaná
common.buy 401 Kč
QISQA MUDDATLI TASVIR ISHLASHNING KASBIY FAOLIYATDAGI AHAMIYATI Komoldinov Sirojiddin / Kniha Brožovaná
common.buy 893 Kč
La musique, c'est ma vie Bechet / Kniha Brožovaná
common.buy 515 Kč
Aliocha Troyat Henri Kniha Brožovaná
common.buy 187 Kč
Johann Hinrich Wichern, Sein Leben Und Wirken, Nach Seinem Schriftlichen Nachlasz Und Den Mittheilungen Der Familie Volume 1 Friedrich Oldenberg / Kniha Brožovaná
common.buy 728 Kč
Depuis le r?gne de Phillippe-Auguste, jusqu'au commencement du dix-septi?me Volume 44 Claude Bernard Petitot / Kniha Brožovaná
common.buy 728 Kč
Biblia de referencia Thompson Milenio Reina Valera 1960, Tapa Dura / Spanish Thompson Chain Reference Bible, Millennium Edition RVR 1960, Hardcover Zondervan / Kniha Pevná
common.buy 906 Kč
Die Professionalisierung der Physiotherapeuten Alice Maria Strassnitzky / Kniha Brožovaná
common.buy 2 348 Kč
Allweiser Schoepfer und durchsetzungsstarker Gesetzgeber Christian Blumenthal / Kniha Pevná
common.buy 2 699 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Unifying Theories of Programming and Formal Engineering Methods
Autor Zhiming Liu, Jim Woodcock, Huibiao Zhu
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2013
Počet stran 283
EAN 9783642397202
ISBN 3642397204
Libristo kód 05281595
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 456
Rozměry 155 x 235 x 19

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Cream CLAPTON / Kniha Brožovaná
common.buy 914 Kč
In Silk Attire. a Novel. Black / Kniha Brožovaná
common.buy 504 Kč
May God Have Mercy on Your Soul Jack Jenkins / Kniha Pevná
common.buy 425 Kč
Teaching Science with Hispanic ELLs in K-16 Classrooms Cynthia S. Sunal / Kniha Brožovaná
common.buy 1 431 Kč
Clinical Applications for Next-Generation Sequencing Urszula Demkow / Kniha Brožovaná
common.buy 2 235 Kč
Cost-Benefit Analysis for Project Appraisal Per-Olov Johansson / Kniha Brožovaná
common.buy 1 041 Kč
To the Limit: An Air Cav Huey Pilot in Vietnam Tom A. Johnson / Kniha Brožovaná
common.buy 519 Kč
Easiest Elementary Method for Beginners, Op. 38: Violin Method Wohlfahrt Franz / Kniha Brožovaná
common.buy 247 Kč
Church, State and Jew in the Middle Ages Robert Chazan / Kniha Brožovaná
common.buy 602 Kč
Use of Somatotropin in Livestock Production K. Serjsen / Kniha Pevná
common.buy 4 707 Kč
Charlotte and the Rock Stephen W. Martin / Kniha Pevná
common.buy 341 Kč
Martyr's Monument Abraham Lincoln / Kniha Brožovaná
common.buy 529 Kč
52 Things Barbara Wants Daniel To Know: A Different Way To Say It J L Leyva / Kniha Brožovaná
common.buy 397 Kč
Breaking Chaos Ben Galley / Kniha Brožovaná
common.buy 424 Kč
Quinn's Lady/Quinn's Revenge Amanda Ashley / Kniha Brožovaná
common.buy 310 Kč
Free to Live Tracey Jerald / Kniha Brožovaná
common.buy 340 Kč
Jolly Phonics Workbook 1 Sara Wernham / Kniha Brožovaná
common.buy 96 Kč
Intellectual Religion (1912) Curran Ryan Thomas / Kniha Brožovaná
common.buy 576 Kč
Brain, Mind and Medicine: Harry Whitaker / Kniha Pevná
common.buy 3 532 Kč
I Love Being an Axolotl: Padded Board Book Natalie Merheb / Kniha Leporelo
common.buy 191 Kč
Hurricane Aces 1941-45 Andrew Thomas / Kniha Brožovaná
common.buy 466 Kč
Relationship-Driven Classroom Management John M. Vitto / Kniha Brožovaná
common.buy 781 Kč
Saharan Rock Art Augustin Holl / Kniha Pevná
common.buy 3 040 Kč
Visions of Zion Erin C. MacLeod / Kniha Pevná
common.buy 1 612 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?