Cărți de Pavithra Prabhakar

Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11022

Editat de David N. Jansen et al.

26 aug 2018

Preț: 326^.99 lei 408^.74 lei

6-8 săpt.

-20%

Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10152

Editat de Sergiy Bogomolov et al.

17 feb 2017

Preț: 318^.06 lei 397^.57 lei

6-8 săpt.

-20%