Filtre: Springer International Publishing

Cărți de Rupak Majumdar

Networked Systems: 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12129

Editat de Chryssis Georgiou et al.

14 ian 2021

Preț: 324^.50 lei 405^.63 lei

6-8 săpt.

-20%

Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9333

Editat de Ezio Bartocci et al.

11 sep 2015

Preț: 327^.19 lei 408^.99 lei

6-8 săpt.

-20%

Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Lecture Notes in Computer Science, nr. 10426

Editat de Rupak Majumdar et al.

13 iul 2017

Preț: 335^.29 lei 419^.11 lei

6-8 săpt.

-20%