Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 10805)
Full Title:
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 10805)
Access ISBNdb extensive book database via API.
Over 39 million books & 19 data items per book to enhance your project.
Subscription plans start at $14.95/mo. Free 7-day trial.