Del 14446Theoretical Aspects of Computing – ICTAC 2023Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia TarifaHäftad873 kr
Del 9660Theory and Practice of Formal MethodsErika Ábrahám, Marcello Bonsangue, Einar Broch JohnsenHäftad551 kr
Tools and Algorithms for the Construction and Analysis of SystemsErika Abraham, Klaus HavelundHäftad551 kr
Formal Techniques for Distributed Objects, Components, and SystemsErika Ábrahám, Catuscia PalamidessiHäftad551 kr
Tools and Algorithms for the Construction and Analysis of SystemsErika Abraham, Klaus HavelundHäftad551 kr