Arama Sonuçları Computer software -- Verification.

Verification and validation for quality of UML 2.0 models

2026-01-09T19:23:05Z

by Unhelkar, Bhuvan
Format: Kitap

Robot framework test automation

2026-01-09T19:23:05Z

by Bisht, Sumit.
Click to View
Format: Elektronik Kaynak

Dependable software systems engineering

2026-01-09T19:23:05Z

by Irlbeck, Maximilian, editor.
Click to View
Format: Elektronik Kaynak

Engineering dependable software systems

2026-01-09T19:23:05Z

by NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany)
Click to View
Format: Elektronik Kaynak

Software safety and security tools for analysis and verification

2026-01-09T19:23:05Z

by NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany)
Click to View
Format: Elektronik Kaynak

The software audit guide

2026-01-09T19:23:05Z

by Helgeson, John W., 1945- author.
Click to View
Format: Elektronik Kaynak

Principles of model checking

2026-01-09T19:23:05Z

by Baier, Christel.
Click to View
Format: Elektronik Kaynak

Metamodeling-driven IP reuse for SoC integration and microprocessor design

2026-01-09T19:23:05Z

by Mathaikutty, Deepak A.
Click to View
Format: Elektronik Kaynak

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

2026-01-09T19:23:05Z

by Yoeli, Michael, 1917-
Click to View
Format: Elektronik Kaynak

Verification of infinite-state systems with applications to security

2026-01-09T19:23:05Z

by NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timaşoara, Romania)
Click to View
Format: Elektronik Kaynak

Co-verification of hardware and software for ARM SoC design

2026-01-09T19:23:05Z

by Andrews, Jason R.
ScienceDirect http://www.sciencedirect.com/science/book/9780750677301
Format: Elektronik Kaynak

Advances in computers. Vol. 65.

2026-01-09T19:23:05Z

by Zelkowitz, Marvin V., 1945-
to access electronic resource ScienceDirect http://www.sciencedirect.com/science/book/9780120121656
Format: Elektronik Kaynak

Knowledge-based systems : techniques and applications

2026-01-09T19:23:05Z

by Leondes, Cornelius T.
ScienceDirect http://www.sciencedirect.com/science/book/9780124438750 Fulltext
Format: Elektronik Kaynak

Stability of structures : principles and applications

2026-01-09T19:23:05Z

by Yoo, Chai Hong.
ScienceDirect http://www.sciencedirect.com/science/book/9780123851222
Format: Elektronik Kaynak

Reliability in computing : the role of interval methods in scientific computing

2026-01-09T19:23:05Z

by Moore, Ramon E.
ScienceDirect https://www.sciencedirect.com/science/book/9780125056304
Format: Elektronik Kaynak

Digital forensics for legal professionals understanding digital evidence from the warrant to the courtroom

2026-01-09T19:23:05Z

by Daniel, Larry (Larry E.)
ScienceDirect An electronic book accessible through the World Wide Web; click for information
Format: Elektronik Kaynak

Stability of structures principles and applications

2026-01-09T19:23:05Z

by Yoo, Chai Hong.
ScienceDirect http://www.sciencedirect.com/science/book/9780123851222
Format: Elektronik Kaynak