Sofiène Tahar – författare

Visar alla böcker från författaren .

5 produkter

Kategorier

5 produkter

Formalized Probability Theory and Applications Using Theorem Proving
AvOsman Hasan,Sofiène Tahar
Inbunden, Engelska, 2015
3 229 kr
Skickas inom 5-8 vardagar
Del 10466
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
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
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
Del 14308
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