Fundamentals of Logic and Computation

Fundamentals of Logic and Computation

With Practical Automated Reasoning and Verification

por Zhe Hou
3/5
Primera publicación
2022
Editores
Springer International Publishing AG
Idioma
English

Libros

Libros similares