Cărți de Antti Valmari

Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9115

Editat de Raymond Devillers et al.

27 mai 2015

Preț: 328^.93 lei 411^.17 lei

6-8 săpt.

-20%

Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

Lecture Notes in Computer Science, nr. 3925

Editat de Antti Valmari

15 mar 2006

Preț: 327^.02 lei 408^.78 lei

6-8 săpt.

-20%