Sofiène Tahar – författare

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

5 produkter

1. 

   Formalized Probability Theory and Applications Using Theorem Proving

   Av Osman Hasan, Sofiène Tahar

   Inbunden, 2015

   3229 kr

   Lägg i varukorg

2. 

   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, 2017

   739 kr

   Lägg i varukorg

3. 

   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, 2002

   739 kr

   Lägg i varukorg

4. 

   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, 2008

   739 kr

   Lägg i varukorg

5. 

   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

   Häftad, 2023

   1219 kr

   Lägg i varukorg