Hoppa till sidans huvudinnehåll

Sofiène Tahar - Böcker

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

Formalized Probability Theory and Applications Using Theorem Proving

AvOsman Hasan,Sofiène Tahar

Inbunden, Engelska, 2015

3 049 kr

Skickas inom 5-8 vardagar

Verification and Evaluation of Computer and Communication Systems

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

AvKamel Barkaoui,Hanifa Boucheneb m. fl.

Häftad, Engelska, 2017

709 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. Munoz m. fl.

Häftad, Engelska, 2002

709 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 Munoz m. fl.

Häftad, Engelska, 2008

719 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

AvYi Li,Sofiène Tahar m. fl.

Häftad, Engelska, 2023

909 kr

Skickas inom 10-15 vardagar