Rigorous Methods for Software Construction and Analysis

Mã QR

Rigorous Methods for Software Construction and Analysis

Đã lưu trong:

Chi tiết về thư mục
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Berlin Heidelberg 2020
Những chủ đề:	Computer Science Programming Techniques Theory of Computation
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/80937
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ự

Language Engineering and Rigorous Software Development
Được phát hành: (2020)

Formal Methods and Software Engineering
Bỡi: Duan, Zhenhua, 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)

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

High Confidence Software Reuse in Large Systems
Bỡi: Mei, Hong
Được phát hành: (2020)

Time-Dependent Scheduling
Bỡi: Gawiejnowicz, Stanislaw
Được phát hành: (2020)

Advanced Functional Programming
Được phát hành: (2020)

Evolutionary Multi-Criterion Optimization
Được phát hành: (2020)

Algorithms and Computation
Bỡi: Deng, Xiaotie, et al.
Được phát hành: (2020)

Spatially Structured Evolutionary Algorithms
Bỡi: Tomassini, Marco
Được phát hành: (2020)

Evolutionary Algorithms for Solving Multi-Objective Problems
Bỡi: Coello, Carlos Coello, et al.
Được phát hành: (2020)

Recent Advances in Reinforcement Learning
Được phát hành: (2020)

OpenMP Shared Memory Parallel Programming
Bỡi: Müller, Matthias S., et al.
Được phát hành: (2020)

Mathematical Software – ICMS 2018
Bỡi: Davenport, James H., et al.
Được phát hành: (2020)

Object-Oriented Analysis, Design and Implementation. 2nd ed.
Bỡi: Dathan, Brahma, et al.
Được phát hành: (2020)

Engineering Trustworthy Software Systems
Bỡi: Bowen, Jonathan P., et al.
Được phát hành: (2020)

Component-Based Software Engineering
Được phát hành: (2020)

Verified Software: Theories, Tools, Experiments
Bỡi: Meyer, Bertrand, et al.
Được phát hành: (2020)

Mathematics of Program Construction
Bỡi: Audebaud, Philippe, et al.
Được phát hành: (2020)

Extreme Programming and Agile Processes in Software Engineering
Được phát hành: (2020)

Agile Processes in Software Engineering and Extreme Programming
Bỡi: Concas, Giulio, et al.
Được phát hành: (2020)

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

Machine Learning for Dynamic Software Analysis: Potentials and Limits
Bỡi: Bennaceur, Amel, et al.
Được phát hành: (2020)

New Opportunities for Software Reuse
Bỡi: Capilla, Rafael, et al.
Được phát hành: (2020)

Software Verification and Validation
Bỡi: Fisher, Marcus S.
Được phát hành: (2020)

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

Formal Methods for Open Object-Based Distributed Systems
Được phát hành: (2020)

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

Foundations of Software Science and Computational Structures
Bỡi: Amadio, Roberto
Đượ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)

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

Practical Aspects of Declarative Languages
Bỡi: Komendantskaya, Ekaterina, et al.
Được phát hành: (2020)

Game Development with Construct 2. 1st ed.
Bỡi: STEMKOSKI, LEE, et al.
Được phát hành: (2020)

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
Bỡi: Okada, Mitsu, et al.
Được phát hành: (2020)

Integrated Formal Methods
Bỡi: Davies, Jim, et al.
Được phát hành: (2020)

Integrated Formal Methods
Bỡi: Romijn, Judi M.T., et al.
Được phát hành: (2020)

Software Product Line Engineering
Bỡi: Pohl, Klaus, et al.
Được phát hành: (2020)

Component-Based Software Engineering
Được phát hành: (2020)

Chatbot Research and Design
Bỡi: Følstad, Asbjørn, et al.
Được phát hành: (2020)