logo
0
Product categories

EbookNice.com

Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.

Please read the tutorial at this link.  https://ebooknice.com/page/post?id=faq


We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.


For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.

EbookNice Team

(Ebook) 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 by Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.) ISBN 9783642397202, 9783642397219, 3642397204, 3642397212

  • SKU: EBN-11846620
Zoomable Image
$ 32 $ 40 (-20%)

Status:

Available

4.7

23 reviews
Instant download (eBook) 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 after payment.
Authors:Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
Pages:283 pages.
Year:2013
Editon:1
Publisher:Springer-Verlag Berlin Heidelberg
Language:english
File Size:5.3 MB
Format:pdf
ISBNS:9783642397202, 9783642397219, 3642397204, 3642397212
Categories: Ebooks

Product desciption

(Ebook) 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 by Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.) ISBN 9783642397202, 9783642397219, 3642397204, 3642397212

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.
*Free conversion of into popular formats such as PDF, DOCX, DOC, AZW, EPUB, and MOBI after payment.

Related Products

-20%

(Ebook) 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 by Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.) ISBN 9783642397202, 9783642397219, 3642397204, 3642397212

4.7

23 reviews
$40 $32
-20%

(Ebook) Matematik 5000+ Kurs 2c Lärobok by Lena Alfredsson, Hans Heikne, Sanna Bodemyr ISBN 9789127456600, 9127456609

4.6

12 reviews
$40 $32
-20%

(Ebook) SAT II Success MATH 1C and 2C 2002 (Peterson's SAT II Success) by Peterson's ISBN 9780768906677, 0768906679

$40 $32
-20%

(Ebook) Master SAT II Math 1c and 2c 4th ed (Arco Master the SAT Subject Test: Math Levels 1 & 2) by Arco ISBN 9780768923049, 0768923042

4.7

9 reviews
$40 $32
-20%

(Ebook) Cambridge IGCSE and O Level History Workbook 2C - Depth Study: the United States, 1919-41 2nd Edition by Benjamin Harrison ISBN 9781398375147, 9781398375048, 1398375144, 1398375047

$40 $32
-20%

(Ebook) Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers by José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue (eds.) ISBN 9783319076010, 9783319076027, 3319076019, 3319076027

4.4

18 reviews
$40 $32
-20%

(Ebook) Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings by Nan Guan, Joost-Pieter Katoen, Jun Sun ISBN 9783030355395, 9783030355401, 303035539X, 3030355403

$40 $32
-20%

(Ebook) Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers by Shaoying Liu, Zhenhua Duan (eds.) ISBN 9783319049144, 9783319049151, 3319049143, 3319049151

4.4

21 reviews
$40 $32
-20%

(Ebook) Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers by Cyrille Artho, Peter Csaba Ölveczky, (eds.) ISBN 9783319054155, 9783319054162, 3319054155, 3319054163

$40 $32