登入選單
Google圖書搜尋
An Introduction to System Safety Engineering
作者
Nancy G. Leveson
出版MIT Press, 2023-11-14
ISBN
9780262376761 / 0262376768
主題
Technology & Engineering
SafeWare
作者
Nancy Leveson
出版Addison-Wesley Professional, 1995
ISBN
UOM:39015034393770
主題
Computers
Engineering a Safer World
作者
Nancy Leveson
出版MIT Press, 2011
ISBN
9780262016629 / 0262016621
主題
Language Arts & Disciplines
Engineering a Safer World
作者
Nancy G. Leveson
出版2012
ISBN
0262299119 / 9780262299114
主題
Electronic books
An Introduction to System Safety Engineering
作者
Nancy G. Leveson
出版MIT Press, 2023-11-14
ISBN
9780262546881 / 0262546884
主題
Technology & Engineering
Engineering a Safer World
作者
Nancy G. Leveson
出版MIT Press, 2016-12-16
ISBN
9780262533690 / 0262533693
主題
Science
SafeWare
作者
Nancy Leveson
出版Addison-Wesley Professional, 1995
ISBN
UOM:39015034393770
主題
Computers
Bailey's index to 'The Times'.
作者
Nancy Bailey
出版1900
ISBN
OXFORD:603578936
Software Safety
作者
Nancy G. Leveson
出版1986
ISBN
OCLC:15188443
主題
Computer software
Software Safety
作者
Nancy G. Leveson
出版1981
ISBN
OCLC:15187460
Software Safety
作者
Nancy G. Leveson
出版1987
ISBN
OCLC:226153350
主題
Computer software
Analysis of Faults in an N-version Software Experi...
作者
Susan S. Brilliant / John C. Knight / Nancy G. Leveson
出版1986
ISBN
OCLC:256025958
Requirements Specification for Process-control Sys...
作者
Nancy G. Leveson
出版1992
ISBN
OCLC:255530067
An Evaluation of Software Fault Tolerance Techniqu...
作者
Nancy G. Leveson
出版1982
ISBN
OCLC:13084905
Analyzing Safety and Fault Tolerance Using Time Pe...
作者
Nancy G. Leveson
出版1984
ISBN
OCLC:15177053
主題
Fault-tolerant computing
An Investigation of the Therac-25 Accidents
作者
Nancy G. Leveson / Clark S. Turner
出版1992
ISBN
OCLC:255530427
Completeness, Robustness, and Safety in Real-time ...
作者
Matthew Saul Jaffe / Nancy G. Leveson
出版1989
ISBN
OCLC:22829358
主題
Computer programs
Building Safe Software
作者
Nancy G. Leveson
出版1986
ISBN
OCLC:14942713
主題
Computer software
An Empirical Comparison of Software Fault Toleranc...
作者
Timothy J. Shimeall
出版1989
ISBN
OCLC:227751057
主題
Computer programming
Safety Verification of ADA Programs in MURPHY
作者
Stephen Sungdeok Cha / Nancy G. Leveson / Timothy J. Shimeall
出版1987
ISBN
OCLC:17165961
主題
Computer programs
Specification, Verification, and Enforcement of Se...
作者
Nancy G. Leveson / Anthony I. Wasserman
出版1980*
ISBN
OCLC:9073395
主題
Database management
Software System Safety Class (SSSC1)
作者
Nancy Leveson / United States. National Aeronautics and Space Administration
出版2004
ISBN
OCLC:56995025
主題
Software engineering
An Empirical Comparison of Software Fault Toleranc...
作者
Timothy J. Shimeall / Nancy G. Leveson / NAVAL POSTGRADUATE SCHOOL MONTEREY CA. / Naval Postgraduate School (U.S.)
出版1989
ISBN
OCLC:227751057
主題
Computer programming
Software for Critical Systems
作者
Nancy Leveson / Peter Neumann
出版1993
ISBN
OCLC:437067394