Model Checking Software

Đã lưu trong:

Bibliografiske detaljer
Hovedforfatter:	Godefroid, Patrick
Format:	Bog
Sprog:	English
Udgivet:	Springer Berlin Heidelberg 2020
Fag:	Computer Science Software Engineering/Programming and Operating Systems Software Engineering
Online adgang:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82918
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

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

Lignende værker

Model Checking Software
af: Bosnacki, Dragan, et al.
Udgivet: (2020)

Model Checking Software
Udgivet: (2020)

Models in Software Engineering
af: Kühne, Thomas
Udgivet: (2020)

Handbook of Model Checking
af: Clarke, Edmund M., et al.
Udgivet: (2020)

Model-Driven Software Development
af: Beydeda, Sami, et al.
Udgivet: (2020)

An Approach to Modelling Software Evolution Processes
af: Li, Tong
Udgivet: (2020)

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

Model Checking Software
Udgivet: (2020)

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

Software Composition
af: Gschwind, Thomas, et al.
Udgivet: (2020)

Software Composition
Udgivet: (2020)

Software Composition
af: Lumpe, Markus, et al.
Udgivet: (2020)

Software Architecture
af: Qin, Zheng, et al.
Udgivet: (2020)

Software Architecture
af: Oquendo, Flavio
Udgivet: (2020)

Software Composition
af: Pautasso, Cesare, et al.
Udgivet: (2020)

Software Visualization
af: Diehl, Stephan
Udgivet: (2020)

Categories for Software Engineering
Udgivet: (2020)

Software Language Engineering
Udgivet: (2020)

Advances in Software Engineering
Udgivet: (2020)

Software Product Lines
af: Obbink, Henk, et al.
Udgivet: (2020)

Software Verification and Analysis
af: Laski, Janusz, et al.
Udgivet: (2020)

Software Process Improvement
af: Abrahamsson, Pekka, et al.
Udgivet: (2020)

Constructing Correct Software
Udgivet: (2020)

Software Process Improvement
af: Richardson, Ita, et al.
Udgivet: (2020)

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

Software Architecture Knowledge Management
Udgivet: (2020)

Component-Based Software Engineering
Udgivet: (2020)

Software Process and Product Measurement
Udgivet: (2020)

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

Testing of Software and Communication Systems
Udgivet: (2020)

An Integrated Approach to Software Engineering
af: Jalote, Pankaj
Udgivet: (2020)

Trustworthy Software Development Processes
Udgivet: (2020)

Software Process and Product Measurement
Udgivet: (2020)

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

Software Process and Product Measurement
Udgivet: (2020)

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

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

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

Product-Focused Software Process Improvement
Udgivet: (2020)

Agent-Oriented Software Engineering IX
Udgivet: (2020)