Building high integrity applications with SPARK

出版社:Cambridge ; New York : Cambridge University Press, 2015.
ISBN:9781107040731
出版年:2015
作者:McCormick,John W.,
资源类型:图书
细分类型:中文文献,西文文献
相关推荐

High integrity software

  • 作者:Winter,Victor L.
  • ISBN:0792379497
  • 出版社:Boston, Mass. : Kluwer, c2001.
  • 出版年:2001

High-integrity software

  • 作者:Sennett,C. T.
  • ISBN:0306435527
  • 出版社:New York : Plenum Press, [1989]
  • 出版年:1989

Building honor in academics : case studies in academic integrity

  • 作者:Denney,Valerie,
  • ISBN:9781119880547
  • 出版社:Hoboken, New Jersey : Jossey-Bass, 2023.
  • 出版年:2023

High power spark erosion machine

  • 作者:Blake,L. R.
  • 出版社:Rugby, England : The British Thomson-Houston Co., [19--]

High-speed circuit board signal integrity

  • 作者:Thierauf,Stephen C
  • ISBN:1608079775
  • 出版年:2017

High integrity compilation : a case study

  • 作者:Stepney,Susan,
  • ISBN:0133810399
  • 出版社:Englewood Cliffs, NJ : Prentice Hall, 1993.
  • 出版年:1993