Zoeken

U zocht naar: Auteur Zhe Hou Filter Auteur: Zhe Hou weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Technology for Verification and Analysis
thumbnail
Full text!
Auteur:
Zhe Hou; Ganesh, Vijay
Uitgever:
Springer International Publishing 2021
Type:
e-book
2. Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification
thumbnail
Full text!
Auteur:
Hou, Zhe.
Uitgever:
Cham Springer International Publishing AG 2022
Type:
e-book
3. Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings
thumbnail
Full text!
Auteur:
Lin; Hou, Zhe; Mahony, Brendan
Uitgever:
Springer International Publishing 2020
Type:
e-book