Cărți de Sergiy Bogomolov

Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13465

Editat de Sergiy Bogomolov et al.

29 aug 2022

Preț: 354^.91 lei 443^.64 lei

6-8 săpt.

-20%

Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10152

Editat de Sergiy Bogomolov et al.

17 feb 2017

Preț: 316^.96 lei 396^.21 lei

6-8 săpt.

-20%