Filtre: Paperback

Cărți de Ezio Bartocci

Model Checking Software

Editat de Ezio Bartocci et al.

19 iul 2013

Preț: 339^.73 lei 424^.66 lei

6-8 săpt.

-20%

From Reactive Systems to Cyber-Physical Systems

Lecture Notes in Computer Science, nr. 11500

Editat de Ezio Bartocci et al.

21 sep 2019

Preț: 336^.09 lei 420^.10 lei

6-8 săpt.

-20%

Formal Methods in Outer Space

Lecture Notes in Computer Science, nr. 13065

Editat de Ezio Bartocci et al.

28 sep 2021

Preț: 358^.69 lei 448^.35 lei

6-8 săpt.

-20%

Runtime Verification

Lecture Notes in Computer Science, nr. 9333

Editat de Ezio Bartocci et al.

11 sep 2015

Preț: 343^.12 lei 428^.90 lei

6-8 săpt.

-20%

Computational Methods in Systems Biology

Lecture Notes in Computer Science, nr. 9859

Editat de Ezio Bartocci et al.

4 sep 2016

Preț: 395^.69 lei

6-8 săpt.

Lectures on Runtime Verification

Lecture Notes in Computer Science, nr. 10457

Editat de Ezio Bartocci et al.

11 feb 2018

Preț: 417^.65 lei 522^.06 lei

6-8 săpt.

-20%