Cărți de Dana Fisman

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

Lecture Notes in Computer Science, nr. 13244

Editat de Dana Fisman et al.

30 mar 2022

Preț: 308^.50 lei 385^.62 lei

6-8 săpt.

-20%

Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12974

Editat de Lu Feng et al.

6 oct 2021

Preț: 495^.27 lei 619^.09 lei

6-8 săpt.

-20%