Filtre:

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

6-8 săpt.

-20%

Concise Guide to Software Verification

Texts in Computer Science

Autor Marieke Huisman et al.

26 iul 2024

Preț: 389^.71 lei 487^.13 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

6-8 săpt.

-20%