É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ț: 448^.71 lei 560^.88 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ț: 333^.54 lei 416^.93 lei

6-8 săpt.

-20%