書名 | 作者 | 出版年 | 查看 | 回報錯誤連結 |
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 |
查看
|
回報問題連結 |
|