Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 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

Language EnglishEnglish
Book Paperback
Book Unifying Theories of Programming and Formal Engineering Methods Zhiming Liu
Libristo code: 05281595
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, July 2013
This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engin... Full description
? points 132 b
54.19 €
105.99  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Aventures au pays des Sherpas Bellot / Book Paperback
common.buy 19.06 € 37.27 лв
Road to the Euros (Ultimate Football Heroes): Collect them all! Matt & Tom Oldfield / Book Paperback
common.buy 8.50 € 16.62 лв
Читая Лолиту в Тегеране А. Нафиси / Book Paperback
common.buy 22.04 € 43.12 лв
QISQA MUDDATLI TASVIR ISHLASHNING KASBIY FAOLIYATDAGI AHAMIYATI Komoldinov Sirojiddin / Book Paperback
common.buy 41.31 € 80.80 лв
La sibylle de Versailles Aurore Neveu / Book Hardback
common.buy 31.11 € 60.85 лв
L'ALTRA CARA DE LA HISTORIA DE CATALUNYA XURIGUERA / Book Book
common.buy 9.47 € 18.53 лв
Battant, dormant Blanchard Book Paperback
common.buy 16.48 € 32.23 лв
La musique, c'est ma vie Bechet / Book Paperback
common.buy 22.04 € 43.12 лв
Kimi Wa Pet - tome 14 Yayoi Ogawa / Book Paperback
common.buy 9.17 € 17.93 лв
Les amandiers de l'Algarve Konatowicz / Book Paperback
common.buy 12.05 € 23.57 лв
Carnets d'un témoin (1940-1943) Raymond-Raoul Lambert / Book Book
common.buy 39.72 € 77.68 лв
Aliocha Troyat Henri Book Paperback
common.buy 7.26 € 14.20 лв
Johann Hinrich Wichern, Sein Leben Und Wirken, Nach Seinem Schriftlichen Nachlasz Und Den Mittheilungen Der Familie Volume 1 Friedrich Oldenberg / Book Paperback
common.buy 31.47 € 61.56 лв
Depuis le r?gne de Phillippe-Auguste, jusqu'au commencement du dix-septi?me Volume 44 Claude Bernard Petitot / Book Paperback
common.buy 31.47 € 61.56 лв
Kabuk Adam Asli Erdogan / Book Paperback
common.buy 12.77 € 24.98 лв
Shen Shan. On és en Litxi? Lévy / Book Paperback
common.buy 8.14 € 15.91 лв
Biblia de referencia Thompson Milenio Reina Valera 1960, Tapa Dura / Spanish Thompson Chain Reference Bible, Millennium Edition RVR 1960, Hardcover Zondervan / Book Hardback
common.buy 42.09 € 82.31 лв
Die Professionalisierung der Physiotherapeuten Alice Maria Strassnitzky / Book Paperback
common.buy 108.70 € 212.60 лв
Allweiser Schoepfer und durchsetzungsstarker Gesetzgeber Christian Blumenthal / Book Hardback
common.buy 122.82 € 240.21 лв

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Unifying Theories of Programming and Formal Engineering Methods
Author Zhiming Liu, Jim Woodcock, Huibiao Zhu
Language English
Binding Book - Paperback
Date of issue 2013
Number of pages 283
EAN 9783642397202
ISBN 3642397204
Libristo code 05281595
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 456
Dimensions 155 x 235 x 19

Categories

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
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Martyr's Monument Abraham Lincoln / Book Paperback
common.buy 24.47 € 47.85 лв
May God Have Mercy on Your Soul Jack Jenkins / Book Hardback
common.buy 19.93 € 38.99 лв
Teaching Science with Hispanic ELLs in K-16 Classrooms Cynthia S. Sunal / Book Paperback
common.buy 61.77 € 120.80 лв
Clinical Applications for Next-Generation Sequencing Urszula Demkow / Book Paperback
common.buy 96.23 € 188.21 лв
Cost-Benefit Analysis for Project Appraisal Per-Olov Johansson / Book Paperback
common.buy 44.97 € 87.96 лв
Aunt Dimity's Christmas Nancy Atherton / Book Paperback
common.buy 8.39 € 16.41 лв
To the Limit: An Air Cav Huey Pilot in Vietnam Tom A. Johnson / Book Paperback
common.buy 22.66 € 44.33 лв
Easiest Elementary Method for Beginners, Op. 38: Violin Method Wohlfahrt Franz / Book Paperback
common.buy 11.54 € 22.56 лв
Church, State and Jew in the Middle Ages Robert Chazan / Book Paperback
common.buy 26.48 € 51.78 лв
Charlotte and the Rock Stephen W. Martin / Book Hardback
common.buy 14.99 € 29.31 лв
Realizing Roma Rights Jacqueline Bhabha / Book Hardback
common.buy 85.47 € 167.16 лв
Enclosure Gary Fields / Book Hardback
common.buy 99.17 € 193.96 лв
Brain, Mind and Medicine: Harry Whitaker / Book Hardback
common.buy 162.07 € 316.99 лв
Beyond the Marne: Quincy--Huiry--Voisins Before and During the Battle Henriette Cuvru-Magot / Book Hardback
common.buy 30.60 € 59.84 лв
52 Things Barbara Wants Daniel To Know: A Different Way To Say It J L Leyva / Book Paperback
common.buy 17.20 € 33.64 лв
ALABAMA FOOTPRINTS Confrontation: Lost & Forgotten Stories Donna R Causey / Book Paperback
common.buy 15.66 € 30.62 лв
Breaking Chaos Ben Galley / Book Paperback
common.buy 18.34 € 35.86 лв
Quinn's Lady/Quinn's Revenge Amanda Ashley / Book Paperback
common.buy 13.44 € 26.29 лв
Free to Live Tracey Jerald / Book Paperback
common.buy 14.78 € 28.91 лв
A Penitential Rite Of The Ancient Mexicans (1904) Zelia Nuttall / Book Paperback
common.buy 23.95 € 46.84 лв
Jolly Phonics Workbook 1 Sara Wernham / Book Paperback
common.buy 4.68 € 9.16 лв
EARTHQUAKE FORCES S. Dey / Book Paperback
common.buy 57.28 € 112.04 лв
Man in the Lighthouse Veronica MacDonald / Book Paperback
common.buy 15.66 € 30.62 лв
Top
I Love Being an Axolotl: Padded Board Book Natalie Merheb / Book Board book
common.buy 9.94 € 19.44 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?