書名 | 作者 | 出版年 | 查看 | 回報錯誤連結 |
Model checking software:23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings / |
Dragan Bosnacki, Anton Wijs. |
2016 |
查看
|
回報問題連結 |
Tests and proofs:10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings / |
Bernhard K. Aichernig, Carlo A. Furia. |
2016 |
查看
|
回報問題連結 |
Type systems for distributed programs:components and sessions / |
Ornela Dardha. |
2016 |
查看
|
回報問題連結 |
Runtime verification:16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings / |
Ylies Falcone, Cesar Sanchez. |
2016 |
查看
|
回報問題連結 |
Hardware and software:verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings / |
Roderick Bloem, Eli Arbel. |
2016 |
查看
|
回報問題連結 |
Software measurement:25th International Workshop on Software Measurement and 10th International Conference on Software Process and Product Measurement, IWSM-Mensura 2015, Krakow, Poland, October 5-7, 2015 : proceedings / |
Andrzej Kobylinski, Beata Czarnacka-Chrobot, Jaroslaw Swierczek. |
2015 |
查看
|
回報問題連結 |
Runtime verification:6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings / |
Ezio Bartocci, Rupak Majumdar. |
2015 |
查看
|
回報問題連結 |
Troubleshooting Xcode |
Magno Urbano. |
2015 |
查看
|
回報問題連結 |
Formal verification of Simulink/Stateflow diagrams:a deductive approach / |
Naijun Zhan, Shuling Wang, Hengjun Zhao. |
2017 |
查看
|
回報問題連結 |
Model checking software:25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings / |
Maria del Mar Gallardo, Pedro Merino. |
2018 |
查看
|
回報問題連結 |
Verified Software. Theories, Tools, and Experiments:8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers / |
Sandrine Blazy, Marsha Chechik. |
2016 |
查看
|
回報問題連結 |
Windows group policy troubleshooting:a best practice guide for managing users and PCs through group policy / |
Kapil Arya ; edited by Andrew Bettany. |
2016 |
查看
|
回報問題連結 |
Trends in software testing |
Hrushikesha Mohanty, J. R. Mohanty, Arunkumar Balakrishnan. |
2017 |
查看
|
回報問題連結 |
Troubleshooting iOS:solving iPhone and iPad problems / |
Paul McFedries. |
2017 |
查看
|
回報問題連結 |
Verification, model checking, and abstract interpretation:18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings / |
Ahmed Bouajjani, David Monniaux. |
2017 |
查看
|
回報問題連結 |
Numerical software verification:9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016 : rvised selected papers / |
Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar. |
2017 |
查看
|
回報問題連結 |
|