Filtre: Springer International Publishing

Cărți de Ezio Bartocci

From Reactive Systems to Cyber-Physical Systems

Lecture Notes in Computer Science, nr. 11500

Editat de Ezio Bartocci et al.

21 sep 2019

Preț: 323^.17 lei 403^.96 lei

43-57 zile

-20%

Formal Methods in Outer Space

Lecture Notes in Computer Science, nr. 13065

Editat de Ezio Bartocci et al.

28 sep 2021

Preț: 344^.91 lei 431^.14 lei

43-57 zile

-20%

Runtime Verification

Lecture Notes in Computer Science, nr. 9333

Editat de Ezio Bartocci et al.

11 sep 2015

Preț: 329^.94 lei 412^.42 lei

43-57 zile

-20%

Lectures on Runtime Verification

Lecture Notes in Computer Science, nr. 10457

Editat de Ezio Bartocci et al.

11 feb 2018

Preț: 401^.58 lei 501^.98 lei

43-57 zile

-20%