Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops Palmieri, Maurizio 975,40 kr. Se produkt
Online Learning and Adaptive Filters Paulo S. R. Diniz, Marcello L. R. De Campos, Wallace A. Martins, Markus V. S. Lima, Jose A. Apolinár 844,03 kr. Se produkt
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles Steffen, Bernhard 737,43 kr. Se produkt
