Model Checking Software

क्यूआर कोड

Model Checking Software

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखक:	Godefroid, Patrick
स्वरूप:	पुस्तक
भाषा:	English
प्रकाशित:	Springer Berlin Heidelberg 2020
विषय:	Computer Science Software Engineering/Programming and Operating Systems Software Engineering
ऑनलाइन पहुंच:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82918
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

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

समान संसाधन

Model Checking Software
द्वारा: Bosnacki, Dragan, और अन्य
प्रकाशित: (2020)

Model Checking Software
प्रकाशित: (2020)

Models in Software Engineering
द्वारा: Kühne, Thomas
प्रकाशित: (2020)

Handbook of Model Checking
द्वारा: Clarke, Edmund M., और अन्य
प्रकाशित: (2020)

Model-Driven Software Development
द्वारा: Beydeda, Sami, और अन्य
प्रकाशित: (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, और अन्य
प्रकाशित: (2020)

Software Composition
द्वारा: Gschwind, Thomas, और अन्य
प्रकाशित: (2020)

Software Composition
प्रकाशित: (2020)

Software Composition
द्वारा: Lumpe, Markus, और अन्य
प्रकाशित: (2020)

Software Architecture
द्वारा: Qin, Zheng, और अन्य
प्रकाशित: (2020)

Software Architecture
द्वारा: Oquendo, Flavio
प्रकाशित: (2020)

Software Composition
द्वारा: Pautasso, Cesare, और अन्य
प्रकाशित: (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, और अन्य
प्रकाशित: (2020)

Software Verification and Analysis
द्वारा: Laski, Janusz, और अन्य
प्रकाशित: (2020)

Software Process Improvement
द्वारा: Abrahamsson, Pekka, और अन्य
प्रकाशित: (2020)

Constructing Correct Software
प्रकाशित: (2020)

Software Process Improvement
द्वारा: Richardson, Ita, और अन्य
प्रकाशित: (2020)

Fundamental Approaches to Software Engineering
द्वारा: Dwyer, Matthew B., और अन्य
प्रकाशित: (2020)

Software Architecture Knowledge Management
प्रकाशित: (2020)

Component-Based Software Engineering
प्रकाशित: (2020)

Software Process and Product Measurement
प्रकाशित: (2020)

Fundamental Approaches to Software Engineering
द्वारा: Fiadeiro, José, और अन्य
प्रकाशित: (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., और अन्य
प्रकाशित: (2020)

Software Process and Product Measurement
प्रकाशित: (2020)

Rationale-Based Software Engineering
द्वारा: Burge, Janet E., और अन्य
प्रकाशित: (2020)

Formal Methods and Software Engineering
द्वारा: Lau, Kung-Kiu, और अन्य
प्रकाशित: (2020)

Rapid Integration of Software Engineering Techniques
द्वारा: Guelfi, Nicolas, और अन्य
प्रकाशित: (2020)

Product-Focused Software Process Improvement
प्रकाशित: (2020)

Agent-Oriented Software Engineering IX
प्रकाशित: (2020)