Model Checking Software

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Godefroid, Patrick
Aineistotyyppi:	Kirja
Kieli:	English
Julkaistu:	Springer Berlin Heidelberg 2020
Aiheet:	Computer Science Software Engineering/Programming and Operating Systems Software Engineering
Linkit:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82918
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

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

Samankaltaisia teoksia

Model Checking Software
Tekijä: Bosnacki, Dragan, et al.
Julkaistu: (2020)

Model Checking Software
Julkaistu: (2020)

Models in Software Engineering
Tekijä: Kühne, Thomas
Julkaistu: (2020)

Handbook of Model Checking
Tekijä: Clarke, Edmund M., et al.
Julkaistu: (2020)

Model-Driven Software Development
Tekijä: Beydeda, Sami, et al.
Julkaistu: (2020)

An Approach to Modelling Software Evolution Processes
Tekijä: Li, Tong
Julkaistu: (2020)

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

Model Checking Software
Julkaistu: (2020)

Requirements Engineering: Foundation for Software Quality
Tekijä: Sawyer, Pete, et al.
Julkaistu: (2020)

Software Composition
Tekijä: Gschwind, Thomas, et al.
Julkaistu: (2020)

Software Composition
Julkaistu: (2020)

Software Composition
Tekijä: Lumpe, Markus, et al.
Julkaistu: (2020)

Software Architecture
Tekijä: Qin, Zheng, et al.
Julkaistu: (2020)

Software Architecture
Tekijä: Oquendo, Flavio
Julkaistu: (2020)

Software Composition
Tekijä: Pautasso, Cesare, et al.
Julkaistu: (2020)

Software Visualization
Tekijä: Diehl, Stephan
Julkaistu: (2020)

Categories for Software Engineering
Julkaistu: (2020)

Software Language Engineering
Julkaistu: (2020)

Advances in Software Engineering
Julkaistu: (2020)

Software Product Lines
Tekijä: Obbink, Henk, et al.
Julkaistu: (2020)

Software Verification and Analysis
Tekijä: Laski, Janusz, et al.
Julkaistu: (2020)

Software Process Improvement
Tekijä: Abrahamsson, Pekka, et al.
Julkaistu: (2020)

Constructing Correct Software
Julkaistu: (2020)

Software Process Improvement
Tekijä: Richardson, Ita, et al.
Julkaistu: (2020)

Fundamental Approaches to Software Engineering
Tekijä: Dwyer, Matthew B., et al.
Julkaistu: (2020)

Software Architecture Knowledge Management
Julkaistu: (2020)

Component-Based Software Engineering
Julkaistu: (2020)

Software Process and Product Measurement
Julkaistu: (2020)

Fundamental Approaches to Software Engineering
Tekijä: Fiadeiro, José, et al.
Julkaistu: (2020)

Testing of Software and Communication Systems
Julkaistu: (2020)

An Integrated Approach to Software Engineering
Tekijä: Jalote, Pankaj
Julkaistu: (2020)

Trustworthy Software Development Processes
Julkaistu: (2020)

Software Process and Product Measurement
Julkaistu: (2020)

Component-Based Software Engineering
Tekijä: Schmidt, Heinz G., et al.
Julkaistu: (2020)

Software Process and Product Measurement
Julkaistu: (2020)

Rationale-Based Software Engineering
Tekijä: Burge, Janet E., et al.
Julkaistu: (2020)

Formal Methods and Software Engineering
Tekijä: Lau, Kung-Kiu, et al.
Julkaistu: (2020)

Rapid Integration of Software Engineering Techniques
Tekijä: Guelfi, Nicolas, et al.
Julkaistu: (2020)

Product-Focused Software Process Improvement
Julkaistu: (2020)

Agent-Oriented Software Engineering IX
Julkaistu: (2020)