Filtre: Calculatoare şi IT Informatică

Cărți de Bernd Finkbeiner

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%

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13182

Editat de Bernd Finkbeiner et al.

14 ian 2022

Preț: 582^.91 lei 728^.64 lei

6-8 săpt.

-20%