Filtre: Springer International Publishing AG

Cărți de Osman Hasan

Formal Techniques for Safety-Critical Systems

Communications in Computer and Information Science, nr. 1165

Editat de Osman Hasan et al.

26 apr 2020

Preț: 337^.63 lei 422^.03 lei

38-44 zile

-20%

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

SpringerBriefs in Applied Sciences and Technology

Autor Asad Ahmed et al.

15 aug 2021

Preț: 460^.15 lei

6-8 săpt.