Filtre:

Cărți de Laure Petrucci

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ț: 476^.61 lei 595^.76 lei

3-5 săpt. | 7-11 zile

-20%

Formal Modeling and Analysis of Timed Systems

Lecture Notes in Computer Science, nr. 14138

Editat de Laure Petrucci et al.

29 aug 2023

Preț: 358^.02 lei 447^.53 lei

6-8 săpt.

-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ț: 332^.47 lei 415^.58 lei

6-8 săpt.

-20%