電子書書目整合查詢結果

總筆數:1028

 
書名作者出版年查看回報錯誤連結
Rewriting logic and its applications :13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020 : revised selected papers / Santiago Escobar, Narciso Marti-Oliet. 查看
回報問題連結
Refinement:semantics, languages and applications / John Derrick, Eerke Boiten. 2018 查看
回報問題連結
Elementary logic:for software development / Robert Lover. 2008 查看
回報問題連結
Theoretical aspects of computing - ICTAC 2015:12th International Colloquium Cali, Colombia, October 29-31, 2015 : proceedings / Martin Leucker, Camilo Rueda, Frank D. Valencia. 2015 查看
回報問題連結
Validation of evolving software / Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina. 查看
回報問題連結
A first introduction to quantum computing and information Bernard Zygelman. 2018 查看
回報問題連結
Recent trends in algebraic development techniques :24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018 : revised selected papers / Jose Luiz Fiadeiro, Ionut Tutu. 查看
回報問題連結
A Practical Theory of Reactive Systems:Incremental Modeling of Dynamic Behaviors / Reino Kurki-Suonio. 2005 查看
回報問題連結
Krister Segerberg on logic of actions / Robert Trypuz. 查看
回報問題連結
Descriptional complexity of formal systems :23rd IFIP WG 1.02 International Conference, DCFS 2021, virtual event, September 5, 2021 : proceedings / Yo-Sub Han, Sang-Ki Ko. 查看
回報問題連結
Verification, model checking, and abstract interpretation :20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019 : proceedings / Constantin Enea, Ruzica Piskac. 查看
回報問題連結
Numerical software verification :12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019 : proceedings / Majid Zamani, Damien Zufferey. 查看
回報問題連結
Verification of sequential and concurrent programs Krzysztof R. Apt, Frank S. Boer, Ernst-Rudiger Olderog. 2009 查看
回報問題連結
Answer set programming / Vladimir Lifschitz. 查看
回報問題連結
Verification, Model Checking, and Abstract Interpretation:6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings / Radhia Cousot. 2005 查看
回報問題連結
Fundamental Approaches to Software Engineering:8th international conference, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / Maura Cerioli. 2005 查看
回報問題連結
上一頁 第1頁/共69頁/跳至 下一頁