Sofiène Tahar – författare
Visar alla böcker från författaren Sofiène Tahar.
5 produkter
5 produkter
3 139 kr
Skickas inom 5-8 vardagar
Del 10466 - Lecture Notes in Computer Science
Verification and Evaluation of Computer and Communication Systems
11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings
Häftad, Engelska, 2017
719 kr
Skickas inom 10-15 vardagar
Theorem Proving in Higher Order Logics
15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
Häftad, Engelska, 2002
719 kr
Skickas inom 10-15 vardagar
Theorem Proving in Higher Order Logics
21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
Häftad, Engelska, 2008
719 kr
Skickas inom 10-15 vardagar
Del 14308 - Lecture Notes in Computer Science
Formal Methods and Software Engineering
24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings
Häftad, Engelska, 2023
929 kr
Skickas inom 5-8 vardagar