Model Checking Software

QR Code (код быстрого отклика)

Model Checking Software

Сохранить в:

Библиографические подробности
Главный автор:	Godefroid, Patrick
Формат:	‌
Язык:	English
Опубликовано:	Springer Berlin Heidelberg 2020
Предметы:	Computer Science Software Engineering/Programming and Operating Systems Software Engineering
Online-ссылка:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82918
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

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

Схожие документы

Model Checking Software
по: Bosnacki, Dragan, et al.
Опубликовано: (2020)

Model Checking Software
Опубликовано: (2020)

Models in Software Engineering
по: Kühne, Thomas
Опубликовано: (2020)

Handbook of Model Checking
по: Clarke, Edmund M., et al.
Опубликовано: (2020)

Model-Driven Software Development
по: Beydeda, Sami, et al.
Опубликовано: (2020)

An Approach to Modelling Software Evolution Processes
по: Li, Tong
Опубликовано: (2020)

Verification, Model Checking, and Abstract Interpretation
Опубликовано: (2020)

Model Checking Software
Опубликовано: (2020)

Requirements Engineering: Foundation for Software Quality
по: Sawyer, Pete, et al.
Опубликовано: (2020)

Software Composition
по: Gschwind, Thomas, et al.
Опубликовано: (2020)

Software Composition
Опубликовано: (2020)

Software Composition
по: Lumpe, Markus, et al.
Опубликовано: (2020)

Software Architecture
по: Qin, Zheng, et al.
Опубликовано: (2020)

Software Architecture
по: Oquendo, Flavio
Опубликовано: (2020)

Software Composition
по: Pautasso, Cesare, et al.
Опубликовано: (2020)

Software Visualization
по: Diehl, Stephan
Опубликовано: (2020)

Categories for Software Engineering
Опубликовано: (2020)

Software Language Engineering
Опубликовано: (2020)

Advances in Software Engineering
Опубликовано: (2020)

Software Product Lines
по: Obbink, Henk, et al.
Опубликовано: (2020)

Software Verification and Analysis
по: Laski, Janusz, et al.
Опубликовано: (2020)

Software Process Improvement
по: Abrahamsson, Pekka, et al.
Опубликовано: (2020)

Constructing Correct Software
Опубликовано: (2020)

Software Process Improvement
по: Richardson, Ita, et al.
Опубликовано: (2020)

Fundamental Approaches to Software Engineering
по: Dwyer, Matthew B., et al.
Опубликовано: (2020)

Software Architecture Knowledge Management
Опубликовано: (2020)

Component-Based Software Engineering
Опубликовано: (2020)

Software Process and Product Measurement
Опубликовано: (2020)

Fundamental Approaches to Software Engineering
по: Fiadeiro, José, et al.
Опубликовано: (2020)

Testing of Software and Communication Systems
Опубликовано: (2020)

An Integrated Approach to Software Engineering
по: Jalote, Pankaj
Опубликовано: (2020)

Trustworthy Software Development Processes
Опубликовано: (2020)

Software Process and Product Measurement
Опубликовано: (2020)

Component-Based Software Engineering
по: Schmidt, Heinz G., et al.
Опубликовано: (2020)

Software Process and Product Measurement
Опубликовано: (2020)

Rationale-Based Software Engineering
по: Burge, Janet E., et al.
Опубликовано: (2020)

Formal Methods and Software Engineering
по: Lau, Kung-Kiu, et al.
Опубликовано: (2020)

Rapid Integration of Software Engineering Techniques
по: Guelfi, Nicolas, et al.
Опубликовано: (2020)

Product-Focused Software Process Improvement
Опубликовано: (2020)

Agent-Oriented Software Engineering IX
Опубликовано: (2020)