Model Checking Software

Spremljeno u:

Bibliografski detalji
Glavni autor:	Godefroid, Patrick
Format:	Knjiga
Jezik:	English
Izdano:	Springer Berlin Heidelberg 2020
Teme:	Computer Science Software Engineering/Programming and Operating Systems Software Engineering
Online pristup:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82918
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

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

Similar Items

Model Checking Software
od: Bosnacki, Dragan, i dr.
Izdano: (2020)

Model Checking Software
Izdano: (2020)

Models in Software Engineering
od: Kühne, Thomas
Izdano: (2020)

Handbook of Model Checking
od: Clarke, Edmund M., i dr.
Izdano: (2020)

Model-Driven Software Development
od: Beydeda, Sami, i dr.
Izdano: (2020)

An Approach to Modelling Software Evolution Processes
od: Li, Tong
Izdano: (2020)

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

Model Checking Software
Izdano: (2020)

Requirements Engineering: Foundation for Software Quality
od: Sawyer, Pete, i dr.
Izdano: (2020)

Software Composition
od: Gschwind, Thomas, i dr.
Izdano: (2020)

Software Composition
Izdano: (2020)

Software Composition
od: Lumpe, Markus, i dr.
Izdano: (2020)

Software Architecture
od: Qin, Zheng, i dr.
Izdano: (2020)

Software Architecture
od: Oquendo, Flavio
Izdano: (2020)

Software Composition
od: Pautasso, Cesare, i dr.
Izdano: (2020)

Software Visualization
od: Diehl, Stephan
Izdano: (2020)

Categories for Software Engineering
Izdano: (2020)

Software Language Engineering
Izdano: (2020)

Advances in Software Engineering
Izdano: (2020)

Software Product Lines
od: Obbink, Henk, i dr.
Izdano: (2020)

Software Verification and Analysis
od: Laski, Janusz, i dr.
Izdano: (2020)

Software Process Improvement
od: Abrahamsson, Pekka, i dr.
Izdano: (2020)

Constructing Correct Software
Izdano: (2020)

Software Process Improvement
od: Richardson, Ita, i dr.
Izdano: (2020)

Fundamental Approaches to Software Engineering
od: Dwyer, Matthew B., i dr.
Izdano: (2020)

Software Architecture Knowledge Management
Izdano: (2020)

Component-Based Software Engineering
Izdano: (2020)

Software Process and Product Measurement
Izdano: (2020)

Fundamental Approaches to Software Engineering
od: Fiadeiro, José, i dr.
Izdano: (2020)

Testing of Software and Communication Systems
Izdano: (2020)

An Integrated Approach to Software Engineering
od: Jalote, Pankaj
Izdano: (2020)

Trustworthy Software Development Processes
Izdano: (2020)

Software Process and Product Measurement
Izdano: (2020)

Component-Based Software Engineering
od: Schmidt, Heinz G., i dr.
Izdano: (2020)

Software Process and Product Measurement
Izdano: (2020)

Rationale-Based Software Engineering
od: Burge, Janet E., i dr.
Izdano: (2020)

Formal Methods and Software Engineering
od: Lau, Kung-Kiu, i dr.
Izdano: (2020)

Rapid Integration of Software Engineering Techniques
od: Guelfi, Nicolas, i dr.
Izdano: (2020)

Product-Focused Software Process Improvement
Izdano: (2020)

Agent-Oriented Software Engineering IX
Izdano: (2020)