Online Library TheLib.net » Author books / Книги автора Marieke Huisman Anton Wijs
book Concise Guide to Software Verification. From Model Checking to Annotation Checking
Concise Guide to Software Verification. From Model Checking to Annotation Checking
pdf
00
02.03.2024
0
0
Read online
book Concise Guide to Software Verification: From Model Checking to Annotation Checking
Concise Guide to Software Verification: From Model Checking to Annotation Checking
pdf
00
01.03.2024
0
0
Read online
book Concise Guide to Software Verification : From Model Checking to Annotation Checking
Concise Guide to Software Verification : From Model Checking to Annotation Checking
epub
00
01.03.2024
0
0
Read online
book Formal aspects of component software : 17th International Conference, FACS 2021, Virtual event, October 28-29, 2021, Proceedings
Formal aspects of component software : 17th International Conference, FACS 2021, Virtual event, October 28-29, 2021, Proceedings
pdf
00
12.02.2024
0
0
Read online
book Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings (Lecture Notes in Computer Science)
Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings (Lecture Notes in Computer Science)
epub
00
12.02.2024
0
0
Read online
book Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings
Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings
pdf
00
12.02.2024
0
0
Read online
book Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
pdf
00
27.01.2024
0
0
Read online