The
Lib
.net
Online Library TheLib.net
» Author books / Книги автора Helmut Seidl Zhiming Liu Corina S. Pasareanu
Theoretical Aspects of Computing – ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings
pdf
Author:
Helmut Seidl Zhiming Liu Corina S. Pasareanu
Language:
English
Year:
2022
0
0
14.02.2024
0
0
Read online
Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures
pdf
Author:
Jonathan P. Bowen Zhiming Liu Zili Zhang
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
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
pdf
Author:
Ruzhen Dong Johannes Faber Wei Ke (auth.) Zhiming Liu Jim Woodcock Huibiao Zhu (eds.)
Language:
English
Year:
2013
0
0
06.02.2024
0
0
Read online
Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
pdf
Author:
Luca Cardelli Radu Mardare (auth.) Zhiming Liu Jim Woodcock Huibiao Zhu (eds.)
Language:
English
Year:
2013
0
0
06.02.2024
0
0
Read online
Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
pdf
Author:
Jonathan P. Bowen
,
Zhiming Liu
,
Zili Zhang
Language:
English
Year:
2018
0
0
05.02.2024
0
0
Read online
Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
pdf
Author:
Jonathan P. Bowen Zhiming Liu Zili Zhang
Language:
English
Year:
2019
0
0
30.01.2024
0
0
Read online
Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
pdf
Author:
Jonathan P. Bowen Zhiming Liu Zili Zhang
Language:
English
Year:
2018
0
0
30.01.2024
0
0
Read online
Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
pdf
Author:
Jonathan P. Bowen Zhiming Liu Zili Zhang (eds.)
Language:
English
Year:
2017
0
0
28.01.2024
0
0
Read online
Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
pdf
Author:
Zhiming Liu Zili Zhang (eds.)
Language:
English
Year:
2016
0
0
27.01.2024
0
0
Read online
Theories of Programming and Formal Methods
pdf
Author:
Zhiming Liu Jim Woodcock Huibiao Zhu
Language:
English
Year:
2013
0
0
27.01.2024
0
0
Read online
1
2
3
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
