ロード中...

QRコード

System validation and verification

書誌詳細
第一著者:	Jeffrey O Grady
フォーマット:	Printed Book
言語:	English
出版事項:	CRC Press 1998

類似資料

ロード中...

Validation and verification techniques for
著者:: Pratiksha Saxena

ロード中...

Validation and Verification techniques for
著者:: Saxena , P, Dr

ロード中...

Verification and Validation in Scientific Computing
著者:: William L. Oberkampf
出版事項: (2013)

ロード中...

Verification and validation in systems engineering assessing UML/sysML designed models
著者:: Debbabi, Mourad...[et.al]
出版事項: (2010)

ロード中...

Verification and validation of real time software
著者:: Quirk,W.J

ロード中...

Verification and validation of real time software
著者:: Quirk,W.J

ロード中...

Verification and meaning /
出版事項: (1976)

ロード中...

Reconfigurable system design and verification
著者:: Hsiung, Pao-Ann
出版事項: (2009)

ロード中...

Biometric technologies and verification systems
著者:: Vacca, John R.
出版事項: (2007)

ロード中...

Embedded systems design and verification
出版事項: (2013)

ロード中...

Embedded Systems Design and Verification
著者:: Zurawski Richard

ロード中...

Embedded systems design and verification /
出版事項: (2009)

ロード中...

Validity and validation: understanding statistics/
著者:: Taylor, Catherine S.
出版事項: (2013)

ロード中...

Program Construction and Verification
著者:: Backhouse, Roland C
出版事項: (1986)

ロード中...

Practical design verification
著者:: Pradhan, Dhiraj K.
出版事項: (2009)

ロード中...

Program construction and verification /
著者:: Backhouse, Roland C .
出版事項: (1986)

ロード中...

Program construction and verification
著者:: Backhouse, Roland C; Author
出版事項: (1986)

ロード中...

Foundation of program verification /
著者:: Loeckx, Jacques
出版事項: (1983)

ロード中...

Formal Specification And Verification Of Digital Systems
著者:: Milne, George
出版事項: (1994)

ロード中...

Formal specification and verification of digital systems /
著者:: Milne, George
出版事項: (1994)

ロード中...

Stock verification in libraries: problems and solutions /
著者:: Gupta, S. R.
出版事項: (1990)

ロード中...

Stock verification in libraries : problems and solutions /
著者:: Gupta, S. R.
出版事項: (1990)

ロード中...

Biomarkers in risk assessment: validity and validation
出版事項: (2001)

ロード中...

Real-time systems: specification, verification and analysis/
著者:: Joseph, Mathai, Ed
出版事項: (1996)

ロード中...

Evaluating with validity
著者:: House, Ernest R

ロード中...

Evaluating with validity
著者:: House, Ernest R

ロード中...

Legal validity
著者:: Munzer, Stephen
出版事項: (1972)

ロード中...

VALIDITY OF KNOWLEDGE
著者:: SUBBA,RAO.VELURI
出版事項: (1998)

ロード中...

Pharmaceutical validation/
著者:: Garg, G P
出版事項: (2011)

ロード中...

Lifelong validity/
著者:: Sujith,C.K
出版事項: (2009)

ロード中...

Logic Synthesis and Verification Algorithms/
著者:: Hachtel, G.D
出版事項: (2006)

ロード中...

Formal methods of program verification
著者:: Berg,H.K

ロード中...

Formal methods of program verification
著者:: Berg,H.K

ロード中...

Verification of sequential and concurrent programs
著者:: Krzysztof r apt,Ernst -Rudiger olderog
出版事項: (1997)

ロード中...

Verification of sequential and concurrent programs /
著者:: Gries, David .
出版事項: (1991)

ロード中...

Protocol specification, testing and verification
著者:: Diaz, Michel
出版事項: (1986)

ロード中...

The verification of arms control agreements
著者:: Bellany, Ian, 等
出版事項: (1983)

ロード中...

Verification Of Sequential And Concurrent Programs
著者:: Apt, Krzysztof R
出版事項: (1991)

ロード中...

Program verification using Ada
著者:: McGettrick, Andrew D; Author
出版事項: (1982)

ロード中...

Logic synthesis and verification algorithms
著者:: Hachtel, Gary D
出版事項: (1996)