Filtre: Springer International Publishing AG

Cărți de Akash Lal

Verified Software. Theories, Tools and Experiments.

Lecture Notes in Computer Science, nr. 13800

Editat de Akash Lal et al.

2 feb 2023

Preț: 316^.03 lei 395^.04 lei

6-8 săpt.

-20%

Computer Aided Verification

Lecture Notes in Computer Science, nr. 13965

Editat de Constantin Enea et al.

18 iul 2023

Preț: 303^.94 lei 379^.93 lei

6-8 săpt.

-20%