Filtre:

Cărți de Yliès Falcone

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. 10012

Editat de Yliès Falcone et al.

20 sep 2016

Preț: 334^.25 lei 417^.82 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%