Model Checking Software

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Godefroid, Patrick
Fformat:	Llyfr
Iaith:	English
Cyhoeddwyd:	Springer Berlin Heidelberg 2020
Pynciau:	Computer Science Software Engineering/Programming and Operating Systems Software Engineering
Mynediad Ar-lein:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82918
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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

Eitemau Tebyg

Model Checking Software
gan: Bosnacki, Dragan, et al.
Cyhoeddwyd: (2020)

Model Checking Software
Cyhoeddwyd: (2020)

Models in Software Engineering
gan: Kühne, Thomas
Cyhoeddwyd: (2020)

Handbook of Model Checking
gan: Clarke, Edmund M., et al.
Cyhoeddwyd: (2020)

Model-Driven Software Development
gan: Beydeda, Sami, et al.
Cyhoeddwyd: (2020)

An Approach to Modelling Software Evolution Processes
gan: Li, Tong
Cyhoeddwyd: (2020)

Verification, Model Checking, and Abstract Interpretation
Cyhoeddwyd: (2020)

Model Checking Software
Cyhoeddwyd: (2020)

Requirements Engineering: Foundation for Software Quality
gan: Sawyer, Pete, et al.
Cyhoeddwyd: (2020)

Software Composition
gan: Gschwind, Thomas, et al.
Cyhoeddwyd: (2020)

Software Composition
Cyhoeddwyd: (2020)

Software Composition
gan: Lumpe, Markus, et al.
Cyhoeddwyd: (2020)

Software Architecture
gan: Qin, Zheng, et al.
Cyhoeddwyd: (2020)

Software Architecture
gan: Oquendo, Flavio
Cyhoeddwyd: (2020)

Software Composition
gan: Pautasso, Cesare, et al.
Cyhoeddwyd: (2020)

Software Visualization
gan: Diehl, Stephan
Cyhoeddwyd: (2020)

Categories for Software Engineering
Cyhoeddwyd: (2020)

Software Language Engineering
Cyhoeddwyd: (2020)

Advances in Software Engineering
Cyhoeddwyd: (2020)

Software Product Lines
gan: Obbink, Henk, et al.
Cyhoeddwyd: (2020)

Software Verification and Analysis
gan: Laski, Janusz, et al.
Cyhoeddwyd: (2020)

Software Process Improvement
gan: Abrahamsson, Pekka, et al.
Cyhoeddwyd: (2020)

Constructing Correct Software
Cyhoeddwyd: (2020)

Software Process Improvement
gan: Richardson, Ita, et al.
Cyhoeddwyd: (2020)

Fundamental Approaches to Software Engineering
gan: Dwyer, Matthew B., et al.
Cyhoeddwyd: (2020)

Software Architecture Knowledge Management
Cyhoeddwyd: (2020)

Component-Based Software Engineering
Cyhoeddwyd: (2020)

Software Process and Product Measurement
Cyhoeddwyd: (2020)

Fundamental Approaches to Software Engineering
gan: Fiadeiro, José, et al.
Cyhoeddwyd: (2020)

Testing of Software and Communication Systems
Cyhoeddwyd: (2020)

An Integrated Approach to Software Engineering
gan: Jalote, Pankaj
Cyhoeddwyd: (2020)

Trustworthy Software Development Processes
Cyhoeddwyd: (2020)

Software Process and Product Measurement
Cyhoeddwyd: (2020)

Component-Based Software Engineering
gan: Schmidt, Heinz G., et al.
Cyhoeddwyd: (2020)

Software Process and Product Measurement
Cyhoeddwyd: (2020)

Rationale-Based Software Engineering
gan: Burge, Janet E., et al.
Cyhoeddwyd: (2020)

Formal Methods and Software Engineering
gan: Lau, Kung-Kiu, et al.
Cyhoeddwyd: (2020)

Rapid Integration of Software Engineering Techniques
gan: Guelfi, Nicolas, et al.
Cyhoeddwyd: (2020)

Product-Focused Software Process Improvement
Cyhoeddwyd: (2020)

Agent-Oriented Software Engineering IX
Cyhoeddwyd: (2020)