Sofiène Tahar - Böcker

Visar alla böcker från författaren Sofiène Tahar.

5 produkter

Kategorier

5 produkter

Formalized Probability Theory and Applications Using Theorem Proving

Av Osman Hasan, Sofiène Tahar

Inbunden, Engelska, 2015

3 139 kr

Skickas inom 7-10 vardagar

Verification and Evaluation of Computer and Communication Systems

11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

Av Kamel Barkaoui, Hanifa Boucheneb m. fl

Häftad, Engelska, 2017

729 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

Av Victor A. Carreno, Cesar A. Munoz m. fl

Häftad, Engelska, 2002

729 kr

Skickas inom 10-15 vardagar

Theorem Proving in Higher Order Logics

21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings

Av Otmane Ait Mohamed, César Munoz m. fl

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar

Formal Methods and Software Engineering

24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings

Av Yi Li, Sofiène Tahar m. fl

Häftad, Engelska, 2023

929 kr

Skickas inom 10-15 vardagar