作者 Andreas Podelski 的书籍 - BookPine

Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings

Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings

Rajeev Joshi

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Byron Cook

Tools And Algorithms For The Construction And Analysis Of Systems: 10th International Conference, TACAS 2004

Tools And Algorithms For The Construction And Analysis Of Systems: 10th International Conference, TACAS 2004

Kurt Jensen

Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers

Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers

Andreas Podelski

Tree Automata and Languages (Volume 10)

Tree Automata and Languages (Volume 10)

Maurice Nivat

Tree Automata and Languages

Tree Automata and Languages

Maurice Nivat

Constraint programming: Basics and trends : 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16-20, 1994 : selected papers

Constraint programming: Basics and trends : 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16-20, 1994 : selected papers

Andreas Podelski