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ț: 331^.08 lei 413^.85 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ț: 301^.12 lei 376^.39 lei

6-8 săpt.

-20%