Placeholder text
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint ... The Netherlands, April 2-8, 2016, Proc
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint ... The Netherlands, April 2-8, 2016, Proc
0 - Default Title
Product details
- Binding:
- Paperback
- Number of Pages:
- 984
- Release Date:
- 2016-04-13
- Publication Date:
- 2016-04-13
- Publisher:
- Springer
- Languages:
- Published: English
- ISBN10:
- 3662496755
- Weight:
- 1350 g
Currently sold out