Tools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April
Apie prekę
Tools and Algorithms for the Construction and Analysis of Systems
Realios prekės išvaizda gali šiek tiek skirtis nuo esančios nuotraukoje. Prekės, kurias gausite, gali būti kitokioje pakuotėje bei kitokios išvaizdos ar formos.
Leidimo metai
2026-04-17
Puslapių skaičius
682
Matmenys
15,700x23,600x3,800
Leidinio kalba
Anglų
Prekės kodas
000000000022884221
EAN kodas
9783032227515

Tools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April
Ši prekė dar neturi įvertinimų
Palikite atsiliepimą pirmieji