| 書名 | 作者 | 出版年 | 查看 | 回報錯誤連結 |
|---|
| Model Checking Software:12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings / |
Patrick Godefroid. |
2005 |
查看
|
回報問題連結 |
| Verification, Model Checking, and Abstract Interpretation:9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings / |
Francesco Logozzo, Doron A. Peled, Lenore D. Zuck. |
2008 |
查看
|
回報問題連結 |
| Unfoldings:A Partial-Order Approach to Model Checking / |
Javier Esparza, Keijo Heljanko. |
2008 |
查看
|
回報問題連結 |
| Fundamental approaches to software engineering:11th international conference, FASE 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / |
Jose Luiz Fiadeiro, Paola Inverardi (eds.). |
2008 |
查看
|
回報問題連結 |
| Model Checking Software:15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / |
Klaus Havelund, Rupak Majumdar, Jens Palsberg (ed.). |
2008 |
查看
|
回報問題連結 |
| Verification, model checking, and abstract interpretation:10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings / |
Neil D. Jones, Markus Muller-Olm. |
2009 |
查看
|
回報問題連結 |
| Hardware and software: verification and testing:6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 : revised selected papers / |
Sharon Barner ... [et al.]. |
2011 |
查看
|
回報問題連結 |
| Model checking software:16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 ; proceedings / |
Corina S. Pasareanu. |
2009 |
查看
|
回報問題連結 |
| Verification of business rules programs / |
Bruno Berstel-Da Silva. |
|
查看
|
回報問題連結 |
| Answer set programming / |
Vladimir Lifschitz. |
|
查看
|
回報問題連結 |
| Scalable uncertainty management :13th International Conference, SUM 2019, Compiegne, France, December 16-18, 2019 : proceedings / |
Nahla Ben Amor, Benjamin Quost, Martin Theobald. |
|
查看
|
回報問題連結 |
| Implementation and Application of Functional Languages:16th International Workshop, IFL 2004, Lubeck, Germany, September 8-10, 2004, Revised Selected Papers / |
Clemens Grelck ... [et al.]. |
2005 |
查看
|
回報問題連結 |
| Model-Based Testing of Reactive Systems:Advanced Lectures |
Manfred Broy ... [et al.]. |
2005 |
查看
|
回報問題連結 |
| Logics for computer science:classical and non-classical / |
Anita Wasilewska. |
2018 |
查看
|
回報問題連結 |
| Declarative programming and knowledge management:Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017 : revised selected papers / |
Dietmar Seipel, Michael Hanus, Salvador Abreu. |
2018 |
查看
|
回報問題連結 |
| Practical analysis of algorithms / |
Dana Vrajitoru, William Knight. |
|
查看
|
回報問題連結 |
| Hardware and software : verification and testing:4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 ; proceedings / |
Hana Chockler, Alan J. Hu. |
2009 |
查看
|
回報問題連結 |
| Rigorous software development:an introduction to program verification / |
Jose Bacelar Almeida ... [et al.]. |
2011 |
查看
|
回報問題連結 |
| Answer set programming for continuous domains:a fuzzy logic approach / |
Jeroen Janssen ... [et al.]. |
2012 |
查看
|
回報問題連結 |
| Coalgebraic methods in computer science:14th IFIP WG 1.3 International Workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018 : revised selected papers / |
Corina Cirstea. |
2018 |
查看
|
回報問題連結 |
| Lectures on runtime verification:introductory and advanced topics / |
Ezio Bartocci, Ylies Falcone. |
2018 |
查看
|
回報問題連結 |
| Compiler construction ::24th International Conference, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 : proceedings / |
Bjorn Franke. |
|
查看
|
回報問題連結 |
| Introduction to the theory of programming languages |
Gilles Dowek, Jean-Jacques Levy. |
2011 |
查看
|
回報問題連結 |
| Logic-based program synthesis and transformation:20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers / |
Maria Alpuente. |
2011 |
查看
|
回報問題連結 |
| Practical aspects of declarative languages ::16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 : proceedings / |
Matthew Flatt, Hai-Feng Guo. |
|
查看
|
回報問題連結 |
| Coordination models and languages ::16th IFIP WG 6.1 International Conference, COORDINATION 2014, held as part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings / |
Eva Kuhn, Rosario Pugliese. |
|
查看
|
回報問題連結 |
| Theoretical aspects of computing - ICTAC 2021 :18th International Colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8-10, 2021 : proceedings / |
Antonio Cerone, Peter Csaba Olveczky. |
|
查看
|
回報問題連結 |
| Theoretical aspects of computing - ICTAC 2021 :18th International Colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8-10, 2021 : proceedings / |
Antonio Cerone, Peter Csaba Olveczky. |
|
查看
|
回報問題連結 |
| Domain science and engineering :a foundation for software development / |
Dines Bjorner. |
|
查看
|
回報問題連結 |
| Transactions on petri nets and other models of concurrency X |
Maciej Koutny, Jorg Desel, Serge Haddad. |
2015 |
查看
|
回報問題連結 |
| Model checking software ::22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings / |
Bernd Fischer, Jaco Geldenhuys. |
|
查看
|
回報問題連結 |
|
|
