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ț: 337^.83 lei 422^.29 lei

6-8 săpt.

-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ț: 316^.04 lei 395^.05 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ț: 393^.32 lei 491^.65 lei

6-8 săpt.

-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ț: 372^.00 lei

6-8 săpt.

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ț: 322^.29 lei 402^.85 lei

6-8 săpt.

-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ț: 319^.18 lei 398^.98 lei

6-8 săpt.

-20%