Tools and Algorithms for the Construction and Analysis of SystemsAuthor :
Paperback
Published : Saturday 20 March 2021
Description
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 - April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.
You may also like ...
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9783030720124.jpg)
by
Paperback
23 Mar 2021
Computer hardware
€40.94
Extended stock – Dispatch 5-7 days
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9783030720155.jpg)
by
Paperback
20 Mar 2021
Algorithms and data structures
€40.94
Extended stock – Dispatch 5-7 days
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9780593536544.jpg)
by
Hardback
18 Apr 2023
Classic fiction: general and literary
€26.91
Extended stock – Dispatch 5-7 days
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9780323696043.jpg)
by
Paperback
23 Feb 2021
Embryology
€77.21
Extended stock – Dispatch 5-7 days
Reviews