Laura Kovács

Laura Kovács

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Lecture Notes in Computer Science, nr. 14571

Editat de Bernd Finkbeiner et al.

5 apr 2024

Preț: 300^.75 lei 375^.94 lei

6-8 săpt.

-20%

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13385

Editat de Jasmin Blanchette et al.

17 iul 2022

Preț: 318^.20 lei 397^.75 lei

6-8 săpt.

-20%

Tests and Proofs: 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13361

Editat de Laura Kovács et al.

22 iun 2022

Preț: 368^.32 lei

6-8 săpt.