Cărți de Ralf Pinger

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9707

Editat de Thierry Lecomte et al.

15 iun 2016

Preț: 325^.53 lei 406^.92 lei

6-8 săpt.

-20%

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7437

Editat de Mariëlle Stoelinga et al.

17 iul 2012

Preț: 296^.09 lei 370^.11 lei

6-8 săpt.

-20%