Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014....
Tallennettuna:
| Päätekijät: | , |
|---|---|
| Aineistotyyppi: | Kirja |
| Kieli: | English |
| Julkaistu: |
Springer
2015
|
| Aiheet: | |
| Linkit: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58333 |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|