Cărți de Ezio Bartocci

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

43-57 zile

-20%

From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 11500

Editat de Ezio Bartocci et al.

21 sep 2019

Preț: 326^.84 lei 408^.56 lei

43-57 zile

-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

43-57 zile

-20%

Computational Methods in Systems Biology: 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9859

Editat de Ezio Bartocci et al.

4 sep 2016

Preț: 384^.70 lei

43-57 zile

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ț: 333^.29 lei 416^.61 lei

43-57 zile

-20%

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7976

Editat de Ezio Bartocci et al.

19 iul 2013

Preț: 330^.09 lei 412^.61 lei

43-57 zile

-20%