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ț: 769^.71 lei 962^.14 lei

6-8 săpt.

-20%

Formal Aspects of Component Software

Lecture Notes in Computer Science, nr. 13077

Editat de Gwen Salaün et al.

5 noi 2021

Preț: 300^.54 lei 375^.68 lei

6-8 săpt.

-20%

Concise Guide to Software Verification

Texts in Computer Science

Autor Marieke Huisman et al.

25 iul 2023

Preț: 570^.30 lei 712^.86 lei

38-44 zile

-20%

Model Checking Software

Lecture Notes in Computer Science, nr. 9641

Editat de Dragan Bo¿na¿ki et al.

8 apr 2016

Preț: 333^.13 lei 416^.42 lei

6-8 săpt.

-20%