Sofiène Tahar - Böcker

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

Av Osman Hasan, Sofiène Tahar

Inbunden, Engelska, 2015

3 199 kr

Skickas inom 5-8 vardagar
Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiene Tahar - Verification and Evaluation of Computer and Communication Systems, Häftad

Verification and Evaluation of Computer and Communication Systems

Av Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiene Tahar

Häftad, Engelska, 2017

739 kr

Skickas inom 7-10 vardagar
Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar - Theorem Proving in Higher Order Logics, Häftad
Del 2410 - Lecture Notes in Computer Science

Theorem Proving in Higher Order Logics

Av Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar

Häftad, Engelska, 2002

739 kr

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

Theorem Proving in Higher Order Logics

Av Otmane Ait Mohamed, César Munoz, Sofiène Tahar

Häftad, Engelska, 2008

739 kr

Skickas inom 7-10 vardagar
Yi Li, Sofiène Tahar, Sofiene Tahar - Formal Methods and Software Engineering, Häftad
Del 14308 - Lecture Notes in Computer Science

Formal Methods and Software Engineering

Av Yi Li, Sofiène Tahar, Sofiene Tahar

Häftad, Engelska, 2023

949 kr

Skickas inom 5-8 vardagar