Étienne André

Étienne André

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II

Lecture Notes in Computer Science, nr. 14216

Editat de Étienne André et al.

19 oct 2023

Preț: 435^.88 lei 544^.85 lei

6-8 săpt.

-20%

Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11750

Editat de Étienne André et al.

13 aug 2019

Preț: 324^.05 lei 405^.07 lei

6-8 săpt.

-20%