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 by Armin Biere & David Parker

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 by Armin Biere & David Parker

Author:Armin Biere & David Parker [Biere, Armin & Parker, David]
Language: eng
Format: epub
ISBN: 9783030451899
Goodreads: 52559526
Publisher: Springer
Published: 2020-06-27T00:00:00+00:00


Download



Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.