Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 10206)
ISBN-13: 9783662545805
ISBN-10: 3662545802
Author: Axel Legay
Edition: 1st ed. 2017
Binding: Kindle Edition
Publisher: Springer
Published: 2017
As an Amazon Associate we earn from qualifying purchases.