Static analysis of software the abstract interpretation /
保存先:
| 団体著者: | |
|---|---|
| その他の著者: | |
| フォーマット: | 電子媒体 eBook |
| 言語: | 英語 |
| 出版事項: |
Hoboken, N.J. :
Wiley,
2012.
|
| 主題: | |
| オンライン･アクセス: | An electronic book accessible through the World Wide Web; click to view |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料
Software error detection through testing and analysis
著者:: Huang, J. C., 1935-
出版事項: (2009)
著者:: Huang, J. C., 1935-
出版事項: (2009)
The art of software testing
著者:: Myers, Glenford J., 1946-
出版事項: (2012)
著者:: Myers, Glenford J., 1946-
出版事項: (2012)
Software testing using Visual Studio 2012
著者:: Satheesh Kumar, N.
出版事項: (2013)
著者:: Satheesh Kumar, N.
出版事項: (2013)
Software testing with Visual Studio team system 2008 a comprehensive and concise guide to testing your software applications with Visual Studio team system 2008 /
著者:: Subashni S.
出版事項: (2008)
著者:: Subashni S.
出版事項: (2008)
Open source fuzzing tools
出版事項: (2007)
出版事項: (2007)
Software testing using Visual Studio 2010 a step-by-step guide to understanding the features and concepts of testing applications using Visual studio /
著者:: Subashni S.
出版事項: (2010)
著者:: Subashni S.
出版事項: (2010)
Testing and quality assurance for component-based software
著者:: Gao, Jerry
出版事項: (2003)
著者:: Gao, Jerry
出版事項: (2003)
Artificial intelligence methods in software testing
出版事項: (2004)
出版事項: (2004)
Practical malware analysis the hands-on guide to dissecting malicious software /
著者:: Sikorski, Michael
出版事項: (2012)
著者:: Sikorski, Michael
出版事項: (2012)
Achieving software quality through teamwork
著者:: Evans, Isabel
出版事項: (2004)
著者:: Evans, Isabel
出版事項: (2004)
Metrics-driven enterprise software development effectively meeting evolving business needs /
著者:: Datta, Subhajit
出版事項: (2007)
著者:: Datta, Subhajit
出版事項: (2007)
Software process quality management and control /
著者:: Kenett, Ron
出版事項: (1999)
著者:: Kenett, Ron
出版事項: (1999)
Mastering software quality assurance best practices, tools and techniques for software developers /
著者:: Chemuturi, Murali, 1950-
出版事項: (2011)
著者:: Chemuturi, Murali, 1950-
出版事項: (2011)
Handbook of software quality assurance
出版事項: (2008)
出版事項: (2008)
Practical guide to software quality management
著者:: Horch, John W.
出版事項: (2003)
著者:: Horch, John W.
出版事項: (2003)
Machine learning applications in software engineering
出版事項: (2005)
出版事項: (2005)
Software testing techniques finding the defects that matter /
出版事項: (2005)
出版事項: (2005)
Guide to advanced software testing
著者:: Hass, Anne Mette Jonassen
出版事項: (2008)
著者:: Hass, Anne Mette Jonassen
出版事項: (2008)
Coder to developer tools and strategies for delivering your software /
著者:: Gunderloy, Mike
出版事項: (2004)
著者:: Gunderloy, Mike
出版事項: (2004)
Software testing : concepts and operations /
著者:: Mili, Ali, 等
出版事項: (2015)
著者:: Mili, Ali, 等
出版事項: (2015)
Testing in software development /
出版事項: (1986)
出版事項: (1986)
Software testing fundamentals methods and metrics /
著者:: Hutcheson, Marnie L., 1951-
出版事項: (2003)
著者:: Hutcheson, Marnie L., 1951-
出版事項: (2003)
Tools and methods for analysis, debugging, and performance improvement of equation-based models /
著者:: Sjolund, Martin
出版事項: (2015)
著者:: Sjolund, Martin
出版事項: (2015)
Software testing for conventional and logic programming
著者:: Jack, Oliver
出版事項: (1996)
著者:: Jack, Oliver
出版事項: (1996)
A practitioner's guide to software test design
著者:: Copeland, Lee
出版事項: (2004)
著者:: Copeland, Lee
出版事項: (2004)
The science of debugging
著者:: Telles, Matthew A.
出版事項: (2001)
著者:: Telles, Matthew A.
出版事項: (2001)
Computational intelligence in software quality assurance
著者:: Dick, Scott
出版事項: (2005)
著者:: Dick, Scott
出版事項: (2005)
The certified software quality engineer handbook /
著者:: Westfall, Linda, 1954-
出版事項: (2009)
著者:: Westfall, Linda, 1954-
出版事項: (2009)
Practical model-based testing a tools approach /
著者:: Utting, Mark
出版事項: (2006)
著者:: Utting, Mark
出版事項: (2006)
Test-driven development with Mockito /
著者:: Acharya, Sujoy
出版事項: (2013)
著者:: Acharya, Sujoy
出版事項: (2013)
Django 1.1 testing and debugging building rigorously tested and bug-free Django applications /
著者:: Tracey, Karen M.
出版事項: (2010)
著者:: Tracey, Karen M.
出版事項: (2010)
Crouching tiger quality and its implementation in the Indian and Irish software communities /
著者:: Keane, Brendan
出版事項: (2007)
著者:: Keane, Brendan
出版事項: (2007)
Testing IT an off-the-shelf software testing process /
著者:: Watkins, John (John Edward)
出版事項: (2001)
著者:: Watkins, John (John Edward)
出版事項: (2001)
Designing and implementing test automation frameworks with QTP /
著者:: Bhargava, Ashish
出版事項: (2013)
著者:: Bhargava, Ashish
出版事項: (2013)
TestNG beginner's guide
著者:: Menon, Varun
出版事項: (2013)
著者:: Menon, Varun
出版事項: (2013)
The software audit guide /
著者:: Helgeson, John W., 1945-
出版事項: (2009)
著者:: Helgeson, John W., 1945-
出版事項: (2009)
Can static type systems speed up programming? an experimental evaluation of static and dynamic type systems /
著者:: Kleinschmager, Sebastian
出版事項: (2013)
著者:: Kleinschmager, Sebastian
出版事項: (2013)
Debugging Visual FoxPro applications
著者:: Folsom, Nancy
出版事項: (2002)
著者:: Folsom, Nancy
出版事項: (2002)
Software design methodology
著者:: Zhu, Hong, 1961-
出版事項: (2005)
著者:: Zhu, Hong, 1961-
出版事項: (2005)
Component-based software development case studies /
著者:: Lau, Kung-Kiu
出版事項: (2004)
著者:: Lau, Kung-Kiu
出版事項: (2004)