Model Checking Software

Salvato in:

Dettagli Bibliografici
Autore principale:	Godefroid, Patrick
Natura:	Libro
Lingua:	English
Pubblicazione:	Springer Berlin Heidelberg 2020
Soggetti:	Computer Science Software Engineering/Programming and Operating Systems Software Engineering
Accesso online:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82918
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne! !

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

Documenti analoghi

Model Checking Software
di: Bosnacki, Dragan, et al.
Pubblicazione: (2020)

Model Checking Software
Pubblicazione: (2020)

Models in Software Engineering
di: Kühne, Thomas
Pubblicazione: (2020)

Handbook of Model Checking
di: Clarke, Edmund M., et al.
Pubblicazione: (2020)

Model-Driven Software Development
di: Beydeda, Sami, et al.
Pubblicazione: (2020)

An Approach to Modelling Software Evolution Processes
di: Li, Tong
Pubblicazione: (2020)

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

Model Checking Software
Pubblicazione: (2020)

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

Software Composition
di: Gschwind, Thomas, et al.
Pubblicazione: (2020)

Software Composition
Pubblicazione: (2020)

Software Composition
di: Lumpe, Markus, et al.
Pubblicazione: (2020)

Software Architecture
di: Qin, Zheng, et al.
Pubblicazione: (2020)

Software Architecture
di: Oquendo, Flavio
Pubblicazione: (2020)

Software Composition
di: Pautasso, Cesare, et al.
Pubblicazione: (2020)

Software Visualization
di: Diehl, Stephan
Pubblicazione: (2020)

Categories for Software Engineering
Pubblicazione: (2020)

Software Language Engineering
Pubblicazione: (2020)

Advances in Software Engineering
Pubblicazione: (2020)

Software Product Lines
di: Obbink, Henk, et al.
Pubblicazione: (2020)

Software Verification and Analysis
di: Laski, Janusz, et al.
Pubblicazione: (2020)

Software Process Improvement
di: Abrahamsson, Pekka, et al.
Pubblicazione: (2020)

Constructing Correct Software
Pubblicazione: (2020)

Software Process Improvement
di: Richardson, Ita, et al.
Pubblicazione: (2020)

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

Software Architecture Knowledge Management
Pubblicazione: (2020)

Component-Based Software Engineering
Pubblicazione: (2020)

Software Process and Product Measurement
Pubblicazione: (2020)

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

Testing of Software and Communication Systems
Pubblicazione: (2020)

An Integrated Approach to Software Engineering
di: Jalote, Pankaj
Pubblicazione: (2020)

Trustworthy Software Development Processes
Pubblicazione: (2020)

Software Process and Product Measurement
Pubblicazione: (2020)

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

Software Process and Product Measurement
Pubblicazione: (2020)

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

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

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

Product-Focused Software Process Improvement
Pubblicazione: (2020)

Agent-Oriented Software Engineering IX
Pubblicazione: (2020)