Filtre: Springer Nature Switzerland

Cărți de Anne E. Haxthausen

Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 14165

Editat de Anne E. Haxthausen et al.

17 aug 2023

Preț: 486^.34 lei 607^.92 lei

6-8 săpt.

-20%

Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–13, 2024, Proceedings

Lecture Notes in Computer Science, nr. 14952

Editat de Anne E. Haxthausen et al.

9 sep 2024

Preț: 372^.89 lei 466^.11 lei

6-8 săpt.

-20%