Cărți de Laure Petrucci

Application and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6709

Editat de Lars M. Kristensen et al.

16 iun 2011

Preț: 337^.00 lei 421^.25 lei

22-36 zile

-20%

Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14138

Editat de Laure Petrucci et al.

29 aug 2023

Preț: 327^.44 lei 409^.30 lei

43-57 zile

-20%

Application and Theory of Petri Nets and Concurrency: 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13288

Editat de Luca Bernardinello et al.

30 mai 2022

Preț: 508^.94 lei 636^.16 lei

43-57 zile

-20%

Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10471

Editat de Laure Petrucci et al.

25 aug 2017

Preț: 330^.24 lei 412^.80 lei

43-57 zile

-20%