Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
by ,
- Language
- English
- Published in
- Publisher
- Springer Nature
- Pages
- 425
- ISBN
- 9783030452377
Subjects
Original edition details
Tools and Algorithms for the Construction and Analysis of Systems Originally published in 2020
Original language
English
Original publisher Creative Media Partners, LLC
Other editions (5)
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
2020 • Springer Nature
English
Tools and Algorithms for the Construction and Analysis of Systems
2020 • Creative Media Partners, LLC
English
Tools and Algorithms for the Construction and Analysis of Systems
2020 • Creative Media Partners, LLC
English
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
2020 • Springer International Publishing
English
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
2020 • Springer International Publishing
English