Zoeken

U zocht naar: Auteur Tahar, Sofiène Filter Auteur: Tahar, Sofiène weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Formal Methods and Software Engineering : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
thumbnail
Full text!
Auteur:
Li, Yi.; Tahar, Sofiène
Uitgever:
Singapore Springer Singapore Pte. Limited 2023
Type:
e-book
2. Verification and Evaluation of Computer and Communication Systems
thumbnail
Full text!
Auteur:
Barkaoui; Boucheneb, Hanifa; Mili, Ali; Tahar, Sofiène
Uitgever:
Springer International Publishing 2017
Type:
e-book
3. Theorem Proving in Higher Order Logics
thumbnail
Full text!
Auteur:
Mohamed, Otmane Ait; Ait Mohamed, Otmane; Kanade, Takeo; Muñoz, César; Muñoz, César A.; Tahar, Sofiène; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book