Model Checking Software

QRコード

Model Checking Software

保存先:

書誌詳細
第一著者:	Godefroid, Patrick
フォーマット:	図書
言語:	English
出版事項:	Springer Berlin Heidelberg 2020
主題:	Computer Science Software Engineering/Programming and Operating Systems Software Engineering
オンライン･アクセス:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82918
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

類似資料

Model Checking Software
著者:: Bosnacki, Dragan, 等
出版事項: (2020)

Model Checking Software
出版事項: (2020)

Models in Software Engineering
著者:: Kühne, Thomas
出版事項: (2020)

Handbook of Model Checking
著者:: Clarke, Edmund M., 等
出版事項: (2020)

Model-Driven Software Development
著者:: Beydeda, Sami, 等
出版事項: (2020)

An Approach to Modelling Software Evolution Processes
著者:: Li, Tong
出版事項: (2020)

Verification, Model Checking, and Abstract Interpretation
出版事項: (2020)

Model Checking Software
出版事項: (2020)

Requirements Engineering: Foundation for Software Quality
著者:: Sawyer, Pete, 等
出版事項: (2020)

Software Composition
著者:: Gschwind, Thomas, 等
出版事項: (2020)

Software Composition
出版事項: (2020)

Software Composition
著者:: Lumpe, Markus, 等
出版事項: (2020)

Software Architecture
著者:: Qin, Zheng, 等
出版事項: (2020)

Software Architecture
著者:: Oquendo, Flavio
出版事項: (2020)

Software Composition
著者:: Pautasso, Cesare, 等
出版事項: (2020)

Software Visualization
著者:: Diehl, Stephan
出版事項: (2020)

Categories for Software Engineering
出版事項: (2020)

Software Language Engineering
出版事項: (2020)

Advances in Software Engineering
出版事項: (2020)

Software Product Lines
著者:: Obbink, Henk, 等
出版事項: (2020)

Software Verification and Analysis
著者:: Laski, Janusz, 等
出版事項: (2020)

Software Process Improvement
著者:: Abrahamsson, Pekka, 等
出版事項: (2020)

Constructing Correct Software
出版事項: (2020)

Software Process Improvement
著者:: Richardson, Ita, 等
出版事項: (2020)

Fundamental Approaches to Software Engineering
著者:: Dwyer, Matthew B., 等
出版事項: (2020)

Software Architecture Knowledge Management
出版事項: (2020)

Component-Based Software Engineering
出版事項: (2020)

Software Process and Product Measurement
出版事項: (2020)

Fundamental Approaches to Software Engineering
著者:: Fiadeiro, José, 等
出版事項: (2020)

Testing of Software and Communication Systems
出版事項: (2020)

An Integrated Approach to Software Engineering
著者:: Jalote, Pankaj
出版事項: (2020)

Trustworthy Software Development Processes
出版事項: (2020)

Software Process and Product Measurement
出版事項: (2020)

Component-Based Software Engineering
著者:: Schmidt, Heinz G., 等
出版事項: (2020)

Software Process and Product Measurement
出版事項: (2020)

Rationale-Based Software Engineering
著者:: Burge, Janet E., 等
出版事項: (2020)

Formal Methods and Software Engineering
著者:: Lau, Kung-Kiu, 等
出版事項: (2020)

Rapid Integration of Software Engineering Techniques
著者:: Guelfi, Nicolas, 等
出版事項: (2020)

Product-Focused Software Process Improvement
出版事項: (2020)

Agent-Oriented Software Engineering IX
出版事項: (2020)