Cărți de Sofiène Tahar

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5170

Editat de Otmane Ait Mohamed et al.

30 iul 2008

Preț: 328^.63 lei 410^.78 lei

6-8 săpt.

-20%

Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14308

Editat de Yi Li et al.

24 oct 2023

Preț: 383^.23 lei 479^.04 lei

6-8 săpt.

-20%

Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10466

Editat de Kamel Barkaoui et al.

15 aug 2017

Preț: 322^.17 lei 402^.72 lei

6-8 săpt.

-20%