Cărți de Nikolai Kosmatov

Integrated Formal Methods

Editat de Nikolai Kosmatov et al.

13 noi 2024

Preț: 836^.13 lei 1045^.16 lei

39-44 zile

-20%

Guide to Software Verification with Frama-C

Computer Science Foundations and Applied Logic

Editat de Nikolai Kosmatov et al.

10 iul 2024

Preț: 432^.12 lei 540^.15 lei

6-8 săpt.

-20%

Testing Software and Systems

Lecture Notes in Computer Science, nr. 11812

Editat de Christophe Gaston et al.

18 sep 2019

Preț: 322^.80 lei 403^.50 lei

6-8 săpt.

-20%

Tests and Proofs

Lecture Notes in Computer Science, nr. 9154

Editat de Jasmin Christian Blanchette et al.

iul 2015

Preț: 318^.69 lei 398^.37 lei

6-8 săpt.

-20%