Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

Quick and Easy Sign Up!

It takes less then 1 minute to sign up, then you can enjoy Unlimited eBooks.

Sign Up Browse

Popular Genres

Read Anywhere and on Any Device!

  • Download on iOS
  • Download on Android
  • Download on iOS

Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures (Lecture Notes in Computer Science Book 12154)

Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures (Lecture Notes in Computer Science Book 12154)

Zhiming Liu
0/5 ( ratings)
Read Download
Format
Kindle Edition

Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures (Lecture Notes in Computer Science Book 12154)

Zhiming Liu
0/5 ( ratings)
Read Download
Format
Kindle Edition

More books from Zhiming Liu

Foundations of Health Informatics Engineering and Systems: First International Symposium, Fhies 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

4/5 ( ratings)

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

4/5 ( ratings)

Theoretical Aspects of Computing - Ictac 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

4/5 ( ratings)

Formal Methods and Hybrid Real-Time Systems

4/5 ( ratings)

Formal Aspects of Component Software: 10th International Symposium, Facs 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

4/5 ( ratings)

Domain Modeling and the Duration Calculus

4/5 ( ratings)

Formal Methods and Software Engineering

4/5 ( ratings)

Theoretical Aspects of Computing - Ictac 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

4/5 ( ratings)

Engineering Trustworthy Software Systems: First International School, Setss 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

4/5 ( ratings)

Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Series on Component-Based Software Development) (Series on Component-Based Software Development)

4/5 ( ratings)

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

4/5 ( ratings)

Rate this book!

Write a review?

loader