Filtre:

Cărți de Rupak Majumdar

Hybrid Systems: Computation and Control

Editat de Rupak Majumdar et al.

27 mar 2009

Preț: 332^.81 lei 416^.02 lei

43-57 zile

-20%

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5156

Editat de Klaus Havelund et al.

25 iul 2008

Preț: 324^.19 lei 405^.23 lei

43-57 zile

-20%

Tools and Algorithms for the Construction and Analysis of Systems

Editat de Javier Esparza et al.

17 mar 2010

Preț: 331^.80 lei 414^.75 lei

43-57 zile

-20%

Networked Systems

Lecture Notes in Computer Science, nr. 12129

Editat de Chryssis Georgiou et al.

14 ian 2021

Preț: 327^.07 lei 408^.84 lei

43-57 zile

-20%

Principles of Systems Design

Lecture Notes in Computer Science, nr. 13660

Editat de Jean-François Raskin et al.

29 dec 2022

Preț: 588^.68 lei 735^.85 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%