Cărți de Wang Yi

Treuer Ungehorsam

Autor Wang Yi et al.

iun 2024

Preț: 182^.88 lei

17-23 zile | 5-11 zile

Formal Modeling and Analysis of Timed Systems

Editat de Paul Pettersson et al.

13 dec 2005

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

43-57 zile

-20%

Model Checking, Synthesis, and Learning

Lecture Notes in Computer Science, nr. 13030

Editat de Ernst-Rüdiger Olderog et al.

22 noi 2021

Preț: 389^.85 lei 487^.32 lei

22-36 zile | 5-11 zile

-20%

Dependable Software Engineering: Theories, Tools, and Applications

Lecture Notes in Computer Science, nr. 9409

Editat de Xuandong Li et al.

27 oct 2015

Preț: 324^.22 lei 405^.27 lei

43-57 zile

-20%

Tools and Algorithms for the Construction and Analysis of Systems

Editat de Tiziana Margaria et al.

21 mar 2001

Preț: 639^.55 lei 799^.43 lei

43-57 zile

-20%