5 Ebooks by Sofiene Tahar
Kamel Barkaoui & Hanifa Boucheneb: Verification and Evaluation of Computer and Communication Systems
?This book constitutes the proceedings of the 11th International Conference International Conference on Verification and Evaluation of Computer and Communication Systems ( VECo S 2017 ), held at Conc …
EPUB
Inggeris
DRM
€57.61
Victor A. Carreno & Cesar A. Munoz: Theorem Proving in Higher Order Logics
…
PDF
Inggeris
DRM
€57.90
Otmane Ait Mohamed & Cesar Munoz: Theorem Proving in Higher Order Logics
This book constitutes the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. The 17 revised fu …
PDF
Inggeris
DRM
€57.85
Yi Li & Sofiene Tahar: Formal Methods and Software Engineering
This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21-24, 2023.The 13 …
EPUB
Inggeris
DRM
€64.31
