Cărți de Anton Wijs

Integrated Formal Methods

Lecture Notes in Computer Science, nr. 14300

Editat de Paula Herber et al.

11 noi 2023

Preț: 739^.95 lei 924^.94 lei

43-57 zile

-20%

Concise Guide to Software Verification

Texts in Computer Science

Autor Marieke Huisman et al.

25 iul 2023

Preț: 553^.06 lei 691^.32 lei

38-44 zile

-20%

Formal Aspects of Component Software

Lecture Notes in Computer Science, nr. 13077

Editat de Gwen Salaün et al.

5 noi 2021

Preț: 289^.02 lei 361^.27 lei

43-57 zile

-20%