Hoppa till sidans huvudinnehåll

Sofiène Tahar – författare

Visar alla böcker från författaren Sofiène Tahar.
5 produkter
Osman Hasan, Sofiène Tahar - Formalized Probability Theory and Applications Using Theorem Proving, Inbunden

Formalized Probability Theory and Applications Using Theorem Proving

AvOsman Hasan,Sofiène Tahar

Inbunden, Engelska, 2015

3 229 kr

Skickas inom 5-8 vardagar

Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar - Verification and Evaluation of Computer and Communication Systems, Häftad
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

AvKamel Barkaoui,Hanifa Bouchenebm. fl.

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar - Theorem Proving in Higher Order Logics, Häftad

Theorem Proving in Higher Order Logics

15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings

AvVictor A. Carreno,Cesar A. Munozm. fl.

Häftad, Engelska, 2002

729 kr

Skickas inom 10-15 vardagar

Otmane Ait Mohamed, César Munoz, Sofiène Tahar - Theorem Proving in Higher Order Logics, Häftad

Theorem Proving in Higher Order Logics

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

AvOtmane Ait Mohamed,César Munozm. fl.

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar

Yi Li, Sofiène Tahar - Formal Methods and Software Engineering, Häftad
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

AvYi Li,Sofiène Tahar

Häftad, Engelska, 2023

949 kr

Skickas inom 5-8 vardagar