Filtre:

Cărți de Erika Ábrahám

Runtime Verification

Editat de Erika Ábrahám et al.

12 oct 2024

Preț: 374^.78 lei 468^.48 lei

38-44 zile

-20%

Fundamentals of Software Engineering

Lecture Notes in Computer Science, nr. 14155

Editat de Hossein Hojjat et al.

30 aug 2023

Preț: 370^.26 lei 462^.83 lei

43-57 zile

-20%

Quantitative Evaluation of Systems

Lecture Notes in Computer Science, nr. 13479

Editat de Erika Ábrahám et al.

11 sep 2022

Preț: 328^.29 lei 410^.37 lei

43-57 zile

-20%

Theory and Practice of Formal Methods

Lecture Notes in Computer Science, nr. 9660

Editat de Erika Ábrahám et al.

13 mar 2016

Preț: 329^.35 lei 411^.69 lei

43-57 zile

-20%

Integrated Formal Methods

Lecture Notes in Computer Science, nr. 9681

Editat de Erika Ábrahám et al.

24 mai 2016

Preț: 527^.06 lei 658^.83 lei

43-57 zile

-20%

Formal Techniques for Distributed Objects, Components, and Systems

Editat de Erika Ábrahám et al.

21 mai 2014

Preț: 322^.99 lei 403^.74 lei

43-57 zile

-20%