Cărți de K. Rustan M. Leino

Program Proofs

Autor K. Rustan M. Leino et al.

7 mar 2023

Preț: 449^.72 lei 580^.59 lei

3-4 săpt. | 6-12 zile

-23%

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6605

Editat de Parosh Aziz Abdulla et al.

18 mar 2011

Preț: 326^.55 lei 408^.19 lei

3-5 săpt.

-20%

Computer Aided Verification

Lecture Notes in Computer Science, nr. 12759

Editat de Alexandra Silva et al.

18 iul 2021

Preț: 327^.88 lei 409^.86 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation

Editat de Barbara Jobstmann et al.

26 dec 2015

Preț: 336^.07 lei 420^.09 lei

6-8 săpt.

-20%