Model Checking Software

QR Kod

Model Checking Software

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Godefroid, Patrick
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Springer Berlin Heidelberg 2020
Konular:	Computer Science Software Engineering/Programming and Operating Systems Software Engineering
Online Erişim:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82918
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Model Checking Software
Yazar:: Bosnacki, Dragan, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Model Checking Software
Baskı/Yayın Bilgisi: (2020)

Models in Software Engineering
Yazar:: Kühne, Thomas
Baskı/Yayın Bilgisi: (2020)

Handbook of Model Checking
Yazar:: Clarke, Edmund M., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Model-Driven Software Development
Yazar:: Beydeda, Sami, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

An Approach to Modelling Software Evolution Processes
Yazar:: Li, Tong
Baskı/Yayın Bilgisi: (2020)

Verification, Model Checking, and Abstract Interpretation
Baskı/Yayın Bilgisi: (2020)

Model Checking Software
Baskı/Yayın Bilgisi: (2020)

Requirements Engineering: Foundation for Software Quality
Yazar:: Sawyer, Pete, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Composition
Yazar:: Gschwind, Thomas, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Composition
Baskı/Yayın Bilgisi: (2020)

Software Composition
Yazar:: Lumpe, Markus, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Architecture
Yazar:: Qin, Zheng, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Architecture
Yazar:: Oquendo, Flavio
Baskı/Yayın Bilgisi: (2020)

Software Composition
Yazar:: Pautasso, Cesare, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Visualization
Yazar:: Diehl, Stephan
Baskı/Yayın Bilgisi: (2020)

Categories for Software Engineering
Baskı/Yayın Bilgisi: (2020)

Software Language Engineering
Baskı/Yayın Bilgisi: (2020)

Advances in Software Engineering
Baskı/Yayın Bilgisi: (2020)

Software Product Lines
Yazar:: Obbink, Henk, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Verification and Analysis
Yazar:: Laski, Janusz, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Process Improvement
Yazar:: Abrahamsson, Pekka, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Constructing Correct Software
Baskı/Yayın Bilgisi: (2020)

Software Process Improvement
Yazar:: Richardson, Ita, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Fundamental Approaches to Software Engineering
Yazar:: Dwyer, Matthew B., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Architecture Knowledge Management
Baskı/Yayın Bilgisi: (2020)

Component-Based Software Engineering
Baskı/Yayın Bilgisi: (2020)

Software Process and Product Measurement
Baskı/Yayın Bilgisi: (2020)

Fundamental Approaches to Software Engineering
Yazar:: Fiadeiro, José, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Testing of Software and Communication Systems
Baskı/Yayın Bilgisi: (2020)

An Integrated Approach to Software Engineering
Yazar:: Jalote, Pankaj
Baskı/Yayın Bilgisi: (2020)

Trustworthy Software Development Processes
Baskı/Yayın Bilgisi: (2020)

Software Process and Product Measurement
Baskı/Yayın Bilgisi: (2020)

Component-Based Software Engineering
Yazar:: Schmidt, Heinz G., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Process and Product Measurement
Baskı/Yayın Bilgisi: (2020)

Rationale-Based Software Engineering
Yazar:: Burge, Janet E., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods and Software Engineering
Yazar:: Lau, Kung-Kiu, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Rapid Integration of Software Engineering Techniques
Yazar:: Guelfi, Nicolas, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Product-Focused Software Process Improvement
Baskı/Yayın Bilgisi: (2020)

Agent-Oriented Software Engineering IX
Baskı/Yayın Bilgisi: (2020)