Cărți de Ralf Pinger

Formal Methods for Industrial Critical Systems

Editat de Mariëlle Stoelinga et al.

17 iul 2012

Preț: 291^.69 lei 364^.60 lei

43-57 zile

-20%

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Lecture Notes in Computer Science, nr. 9707

Editat de Thierry Lecomte et al.

15 iun 2016

Preț: 320^.50 lei 400^.63 lei

43-57 zile

-20%