Sofiène Tahar – författare
Visar alla böcker från författaren Sofiène Tahar. Handla med fri frakt och snabb leverans.
10 produkter
Formalized Probability Theory and Applications Using Theorem Proving
Inbunden, 2015
2483 kr
Lägg i varukorg
Formalized Probability Theory and Applications Using Theorem Proving
E-bok, 2015
3015 kr
Lägg i varukorg
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
569 kr
Lägg i varukorg
This book constitutes the proceedings of the 11th International Conference International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017.The 13 full papers, together with 3 abstracts in …
Verification and Evaluation of Computer and Communication Systems
11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings
Av Sofiene Tahar, Ali Mili m. fl.
E-bok, 2017
739 kr
Lägg i varukorg
This book constitutes the proceedings of the 11th International Conference International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017. The 13 full papers, together with 3 abstracts in …
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
569 kr
Lägg i varukorg
Thisvolumecontainstheproceedingsofthe 15th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs2002)heldon20-23August 2002inHampton,Virginia,USA. Theconferenceservesasavenueforthep- sentationofworkintheoremprovinginhigher-orderlogics,andrelatedareas …
Theorem Proving in Higher Order Logics
15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
Av Sofiene Tahar, Cesar A. Munoz m. fl.
E-bok, 2003
755 kr
Lägg i varukorg
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
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. The 17 revised full papers presented together with 1 proof pearl (concise and elegant presentations of interesting …
Theorem Proving in Higher Order Logics
21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
Av Sofiene Tahar, Cesar Munoz m. fl.
E-bok, 2008
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. The 17 revised full papers presented together with 1 proof pearl (concise and elegant presentations of interesting …
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
938 kr
Lägg i varukorg
This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully …
Formal Methods and Software Engineering
24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings
Av Sofiene Tahar, Yi Li
E-bok, 2023
923 kr
Lägg i varukorg
This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023. The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully …
