Image from Amazon.com
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
Material type:
TextLanguage: English Publication details: Cham Springer 2020ISBN: - 9783030452377
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
Springer EBooks
|
BITS Pilani Hyderabad | Available | EBK002655 |
Total holds: 0
There are no comments on this title.
Log in to your account to post a comment.