Formal methods for safety and security : case studies for aerospace applications

出版社:Singapore : Springer, 2018.
ISBN:9789811041204
出版年:2018
作者:Nanda,Manju.
资源类型:图书
细分类型:西文文献
相关推荐

Geophysical methods : fundamentals, applications, and case studies

  • 作者:Mishra,O. P.,
  • ISBN:9781032599298
  • 出版社:Boca Raton, FL : CRC Press, 2025.
  • 出版年:2025

Biosurveillance : methods and case studies

  • 作者:Kass-Hout,Taha.
  • ISBN:9781439800461
  • 出版社:Boca Raton : Chapman & Hall/CRC, c2011.
  • 出版年:2011

Modern formal methods and applications

  • 作者:Gabbar,Hossam A.
  • ISBN:1402042221
  • 出版社:Dordrecht : Springer, c2006.
  • 出版年:2006

Program evaluation : methods and case studies

  • 作者:Posavac,Emil J.
  • ISBN:013730367X
  • 出版社:Englewood Cliffs, N.J. : Prentice Hall, c1989.
  • 出版年:1989

Program evaluation : methods and case studies

  • 作者:Posavac,Emil J.
  • ISBN:013730367X 8.80
  • 出版社:Englewood Cliffs, N.J. : Prentice Hall, c1989.
  • 出版年:1989

Applications of palaeontology : techniques and case studies

  • 作者:Jones,Robert Wynn.
  • ISBN:9781107005235
  • 出版社:Cambridge, UK ; New York : Cambridge University Press, 2011.
  • 出版年:2011