Thierry Lecomte - Böcker

Visar alla böcker från författaren Thierry Lecomte.
6 produkter
Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Häftad
Del 13294 - Lecture Notes in Computer Science

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Av Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte

Häftad, Engelska, 2022

959 kr

Skickas inom 7-10 vardagar
Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Häftad
Del 14198 - Lecture Notes in Computer Science

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Av Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte

Häftad, Engelska, 2023

929 kr

Skickas inom 7-10 vardagar
Leila Ribeiro, Thierry Lecomte - Formal Methods: Foundations and Applications, Häftad

Formal Methods: Foundations and Applications

Av Leila Ribeiro, Thierry Lecomte

Häftad, Engelska, 2016

739 kr

Skickas inom 7-10 vardagar