Filtre: Engleză Tipărit la comandă

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

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ț: 332^.92 lei 416^.15 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 12760

Editat de Alexandra Silva et al.

17 iul 2021

Preț: 324^.09 lei 405^.11 lei

43-57 zile

-20%