Formal Techniques for Safety-Critical Systems
Osman Hasan, Frédéric Mallet, Frederic Mallet
Häftad
719 kr
Formalized Probability Theory and Applications Using Theorem Proving
Inbunden, Engelska, 2015
3 049 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum2015-03-31
- Mått152 x 229 x 21 mm
- Vikt769 g
- FormatInbunden
- SpråkEngelska
- Antal sidor312
- FörlagIdea Group,U.S.
- ISBN9781466683150
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Asad Q Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki, Asad Ahmed
Häftad
909 kr
Del 10383
Intelligent Computer Mathematics
Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke
Häftad
719 kr
Hoppa över listan
Du kanske också är intresserad av
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Asad Q Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki, Asad Ahmed
Häftad
909 kr
Del 10383
Intelligent Computer Mathematics
Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke
Häftad
719 kr
Del 10466
Verification and Evaluation of Computer and Communication Systems
Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar, Sofiene Tahar
Häftad
719 kr
Formal Techniques for Safety-Critical Systems
Osman Hasan, Frédéric Mallet, Frederic Mallet
Häftad
719 kr
Del 14308
- Nyhet
Del 4
- Nyhet
Del 4
- Nyhet
Del 6