Model Checking Software

Salvato in:

Dettagli Bibliografici
Natura:	Libro
Lingua:	English
Pubblicazione:	Springer Berlin Heidelberg 2020
Soggetti:	Computer Science Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters
Accesso online:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82313
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
Pubblicazione: (2020)

Models in Software Engineering
di: Giese, Holger
Pubblicazione: (2020)

Quality of Software Architectures Models and Architectures
Pubblicazione: (2020)

25 Years of Model Checking
di: Grumberg, Orna, et al.
Pubblicazione: (2020)

Model Checking Software
di: Godefroid, Patrick
Pubblicazione: (2020)

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

Software Architecture
Pubblicazione: (2020)

Software Engineering
Pubblicazione: (2020)

Advances in Software Engineering
Pubblicazione: (2020)

Software and Data Technologies
Pubblicazione: (2020)

Fundamental Approaches to Software Engineering
Pubblicazione: (2020)

Formal Methods and Software Engineering
Pubblicazione: (2020)

Architectures for Adaptive Software Systems
Pubblicazione: (2020)

Formal Methods and Software Engineering
Pubblicazione: (2020)

Requirements Engineering: Foundation for Software Quality
Pubblicazione: (2020)

Foundations of Software Science and Computational Structures
Pubblicazione: (2020)

Conceptual Modeling - ER 2008
Pubblicazione: (2020)

Theory and Practice of Model Transformations
Pubblicazione: (2020)

Model Checking and Artificial Intelligence
Pubblicazione: (2020)

Model Driven Engineering Languages and Systems
Pubblicazione: (2020)

Model-Driven Engineering and Software Development
di: Hammoudi, Slimane, et al.
Pubblicazione: (2020)

Software Technologies
di: Cabello, Enrique, et al.
Pubblicazione: (2020)

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

Formal Aspects of Component Software
di: Bae, Kyungmin, et al.
Pubblicazione: (2020)

Fundamental Approaches to Software Engineering
di: Hähnle, Reiner, et al.
Pubblicazione: (2020)

Fundamental Approaches to Software Engineering
di: Russo, Alessandra, et al.
Pubblicazione: (2020)

Software Technologies: Applications and Foundations
di: Seidl, Martina, et al.
Pubblicazione: (2020)

Software Engineering and Formal Methods
di: Cimatti, Alessandro, et al.
Pubblicazione: (2020)

Formal Aspects of Component Software
di: Proença, José, et al.
Pubblicazione: (2020)

Fundamental Approaches to Software Engineering
Pubblicazione: (2020)

Software Engineering and Formal Methods
di: Johnsen, Einar Broch, et al.
Pubblicazione: (2020)

Formal Approaches to Software Testing
Pubblicazione: (2020)

Formal Methods for Components and Objects
Pubblicazione: (2020)

Static Analysis
di: Alpuente, María, et al.
Pubblicazione: (2020)

Programming Languages and Systems
Pubblicazione: (2020)

Programming Languages and Systems
Pubblicazione: (2020)

Static Analysis
Pubblicazione: (2020)

Static Analysis
di: Hankin, Chris, et al.
Pubblicazione: (2020)

Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Pubblicazione: (2020)

Static Analysis
di: Nielson, Hanne Riis, et al.
Pubblicazione: (2020)