Software Verification and Validation

Mã QR

Software Verification and Validation

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Fisher, Marcus S.
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer US 2020
Những chủ đề:	Computer Science Software Engineering/Programming and Operating Systems Programming Techniques
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82800
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

Software Verification and Analysis
Bỡi: Laski, Janusz, et al.
Được phát hành: (2020)

Leveraging Applications of Formal Methods, Verification and Validation
Được phát hành: (2020)

Verification, Model Checking, and Abstract Interpretation
Được phát hành: (2020)

Validated Designs for Object-oriented Systems
Được phát hành: (2020)

Models in Software Engineering
Được phát hành: (2020)

Algebraic Methodology and Software Technology
Bỡi: Meseguer, José, et al.
Được phát hành: (2020)

Formal Methods and Software Engineering
Bỡi: Butler, Michael, et al.
Được phát hành: (2020)

Generative and Transformational Techniques in Software Engineering II
Được phát hành: (2020)

Transactions on Aspect-Oriented Software Development V
Được phát hành: (2020)

Runtime Verification
Được phát hành: (2020)

Runtime Verification
Được phát hành: (2020)

Numerical Software Verification
Bỡi: Bogomolov, Sergiy, et al.
Được phát hành: (2020)

Numerical Software Verification
Bỡi: Abate, Alessandro, et al.
Được phát hành: (2020)

Software Composition
Bỡi: Gschwind, Thomas, et al.
Được phát hành: (2020)

Software Composition
Được phát hành: (2020)

Software Composition
Bỡi: Lumpe, Markus, et al.
Được phát hành: (2020)

Software Architecture
Bỡi: Qin, Zheng, et al.
Được phát hành: (2020)

Software Architecture
Bỡi: Oquendo, Flavio
Được phát hành: (2020)

Software Composition
Bỡi: Pautasso, Cesare, et al.
Được phát hành: (2020)

Software Visualization
Bỡi: Diehl, Stephan
Được phát hành: (2020)

Theoretical Aspects of Computing - ICTAC 2008
Được phát hành: (2020)

Theoretical Aspects of Computing - ICTAC 2009
Được phát hành: (2020)

Logic Programming
Bỡi: Gabbrielli, Maurizio, et al.
Được phát hành: (2020)

Transactions on Petri Nets and Other Models of Concurrency II
Được phát hành: (2020)

Advanced Functional Programming
Bỡi: Vene, Varmo, et al.
Được phát hành: (2020)

Principles and Practice of Constraint Programming - CP 2005
Bỡi: Beek, Peter van
Được phát hành: (2020)

Automated Reasoning
Bỡi: Armando, Alessandro, et al.
Được phát hành: (2020)

Logic-Based Program Synthesis and Transformation
Được phát hành: (2020)

Datatype-Generic Programming
Bỡi: Backhouse, Roland, et al.
Được phát hành: (2020)

Object-Oriented Technology. ECOOP 2004 Workshop Reader
Được phát hành: (2020)

Graph Transformations
Được phát hành: (2020)

Principles and Practice of Constraint Programming - CP 2007
Bỡi: Bessiere, Christian
Được phát hành: (2020)

Inductive Logic Programming
Bỡi: Blockeel, Hendrik, et al.
Được phát hành: (2020)

Multi-Agent Programming
Được phát hành: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Được phát hành: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Bỡi: Sutcliffe, Geoff, et al.
Được phát hành: (2020)

Semantics and Algebraic Specification
Được phát hành: (2020)

Genetic Programming
Bỡi: O'Neill, Michael, et al.
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Được phát hành: (2020)

Touch of Class
Được phát hành: (2020)