電子書書目整合查詢結果

分類號

總筆數:219

 
書名作者出版年查看回報錯誤連結
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 查看
回報問題連結
上一頁 第1頁/共15頁/跳至 下一頁