1 E-böcker av Arnd Hartmanns
Dirk Beyer & Arnd Hartmanns: TOOLympics Challenge 2023
TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (E …
EPUB
Engelska
DRM
€141.88
