Filtre:

Cărți de Laure Petrucci

Formal Modeling and Analysis of Timed Systems

Lecture Notes in Computer Science, nr. 14138

Editat de Laure Petrucci et al.

29 aug 2023

Preț: 344^.27 lei 430^.34 lei

6-8 săpt.

-20%

Application and Theory of Petri Nets and Concurrency

Lecture Notes in Computer Science, nr. 13288

Editat de Luca Bernardinello et al.

30 mai 2022

Preț: 462^.13 lei 577^.66 lei

3-5 săpt. | 6-12 zile

-20%

Critical Systems: Formal Methods and Automated Verification

Lecture Notes in Computer Science, nr. 10471

Editat de Laure Petrucci et al.

25 aug 2017

Preț: 319^.70 lei 399^.63 lei

6-8 săpt.

-20%