Cărți de Osman Hasan

Formalized Probability Theory and Applications Using Theorem Proving

Autor Osman Hasan et al.

26 mar 2015

Preț: 1050^.78 lei 1364^.66 lei

6-8 săpt.

-23%

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.

Intelligent Computer Mathematics

Lecture Notes in Computer Science, nr. 10383

Editat de Herman Geuvers et al.

29 iun 2017

Preț: 327^.07 lei 408^.84 lei

6-8 săpt.

-20%

Probabilistic Analysis using Theorem Proving

Autor Osman Hasan

25 oct 2013

Preț: 396^.79 lei 431^.29 lei

6-8 săpt.

-8%