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

Program Proofs

Autor K. Rustan M. Leino et al.

7 mar 2023

Preț: 428^.97 lei 536^.21 lei

3-5 săpt. | 4-10 zile

-20%

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ț: 339^.47 lei 424^.34 lei

3-5 săpt.

-20%

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

Lecture Notes in Computer Science, nr. 12759

Editat de Alexandra Silva et al.

18 iul 2021

Preț: 335^.92 lei 419^.90 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Lecture Notes in Computer Science, nr. 9583

Editat de Barbara Jobstmann et al.

26 dec 2015

Preț: 346^.10 lei 432^.62 lei

6-8 săpt.

-20%