Formal Methods Teaching 비슷한 책 더 보기

Teaching Formal Methods Teaching Formal Methods
Teaching Formal Methods
2009년
Formal Methods Teaching Formal Methods Teaching
Formal Methods Teaching
2021년
Provably Correct Systems Provably Correct Systems
Provably Correct Systems
2017년
Computer Aided Assessment of Mathematics Computer Aided Assessment of Mathematics
Computer Aided Assessment of Mathematics
2013년
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2018년
Technology-Assisted Guided Discovery to Support Learning Technology-Assisted Guided Discovery to Support Learning
Technology-Assisted Guided Discovery to Support Learning
2021년
Rules and Reasoning Rules and Reasoning
Rules and Reasoning
2019년
Towards Mechanized Mathematical Assistants Towards Mechanized Mathematical Assistants
Towards Mechanized Mathematical Assistants
2007년
Abstract State Machines, Alloy, B, TLA, VDM, and Z Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z
2018년
Inductive Logic Programming Inductive Logic Programming
Inductive Logic Programming
2014년
Logic, Rewriting, and Concurrency Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency
2015년
Abstract State Machines, Alloy, B, TLA, VDM, and Z Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z
2016년
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2015년
Artificial Intelligence in Theory and Practice II Artificial Intelligence in Theory and Practice II
Artificial Intelligence in Theory and Practice II
2010년
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2017년