Tools and Algorithms for the Construction and Analysis of Systems

by Tomáš Vojnar and Lijun Zhang

Locate

My Reading Lists:

Use this Work

Check nearby libraries

Buy this book

Last edited by ImportBot

August 6, 2021 | History

Edit

This edition doesn't have a description yet. Can you add one?

Publish Date

Oct 08, 2020

Publisher

Saint Philip Street Press

Pages

426

Check nearby libraries

Buy this book

Edition	Availability
1 Tools and Algorithms for the Construction and Analysis of Systems Oct 08, 2020, Saint Philip Street Press hardcover 1013271270 9781013271274	zzzz Locate
2 Tools and Algorithms for the Construction and Analysis of Systems Oct 08, 2020, Saint Philip Street Press hardcover 1013271238 9781013271236	aaaa Locate
3 Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II 2019, Springer Nature 3030174654 9783030174651	zzzz Locate
4 Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint ... I Apr 04, 2019, Springer paperback 3030174611 9783030174613	zzzz Locate
5 Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint ... Apr 04, 2019, Springer paperback 3030174646 9783030174644	zzzz Locate
6 Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I 2019, Springer Nature 303017462X 9783030174620	zzzz Locate