Cărți de Yliès Falcone

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 13065

Editat de Ezio Bartocci et al.

28 sep 2021

Preț: 349^.38 lei 436^.72 lei

6-8 săpt.

-20%

Lectures on Runtime Verification: Introductory and Advanced Topics

Lecture Notes in Computer Science, nr. 10457

Editat de Ezio Bartocci et al.

11 feb 2018

Preț: 406^.77 lei 508^.46 lei

6-8 săpt.

-20%

Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

Lecture Notes in Computer Science, nr. 10012

Editat de Yliès Falcone et al.

20 sep 2016

Preț: 337^.35 lei 421^.69 lei

6-8 săpt.

-20%