Rigorous Methods for Software Construction and Analysis

QRコード

Rigorous Methods for Software Construction and Analysis

保存先:

書誌詳細
フォーマット:	図書
言語:	English
出版事項:	Springer Berlin Heidelberg 2020
主題:	Computer Science Programming Techniques Theory of Computation
オンライン･アクセス:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/80937
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

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

類似資料

Language Engineering and Rigorous Software Development
出版事項: (2020)

Formal Methods and Software Engineering
著者:: Duan, Zhenhua, 等
出版事項: (2020)

Formal Methods and Software Engineering
著者:: Butler, Michael, 等
出版事項: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
出版事項: (2020)

High Confidence Software Reuse in Large Systems
著者:: Mei, Hong
出版事項: (2020)

Time-Dependent Scheduling
著者:: Gawiejnowicz, Stanislaw
出版事項: (2020)

Advanced Functional Programming
出版事項: (2020)

Evolutionary Multi-Criterion Optimization
出版事項: (2020)

Algorithms and Computation
著者:: Deng, Xiaotie, 等
出版事項: (2020)

Spatially Structured Evolutionary Algorithms
著者:: Tomassini, Marco
出版事項: (2020)

Evolutionary Algorithms for Solving Multi-Objective Problems
著者:: Coello, Carlos Coello, 等
出版事項: (2020)

Recent Advances in Reinforcement Learning
出版事項: (2020)

OpenMP Shared Memory Parallel Programming
著者:: Müller, Matthias S., 等
出版事項: (2020)

Mathematical Software – ICMS 2018
著者:: Davenport, James H., 等
出版事項: (2020)

Machine Learning for Dynamic Software Analysis: Potentials and Limits
著者:: Bennaceur, Amel, 等
出版事項: (2020)

Engineering Trustworthy Software Systems
著者:: Bowen, Jonathan P., 等
出版事項: (2020)

Component-Based Software Engineering
出版事項: (2020)

Object-Oriented Analysis, Design and Implementation. 2nd ed.
著者:: Dathan, Brahma, 等
出版事項: (2020)

Verified Software: Theories, Tools, Experiments
著者:: Meyer, Bertrand, 等
出版事項: (2020)

Mathematics of Program Construction
著者:: Audebaud, Philippe, 等
出版事項: (2020)

Extreme Programming and Agile Processes in Software Engineering
出版事項: (2020)

Agile Processes in Software Engineering and Extreme Programming
著者:: Concas, Giulio, 等
出版事項: (2020)

Transactions on Aspect-Oriented Software Development VI
出版事項: (2020)

New Opportunities for Software Reuse
著者:: Capilla, Rafael, 等
出版事項: (2020)

Software Verification and Validation
著者:: Fisher, Marcus S.
出版事項: (2020)

Models in Software Engineering
出版事項: (2020)

Foundations of Software Science and Computational Structures
著者:: Amadio, Roberto
出版事項: (2020)

Algebraic Methodology and Software Technology
著者:: Meseguer, José, 等
出版事項: (2020)

Formal Methods for Open Object-Based Distributed Systems
出版事項: (2020)

Constructing Correct Software
出版事項: (2020)

Generative and Transformational Techniques in Software Engineering II
出版事項: (2020)

Transactions on Aspect-Oriented Software Development V
出版事項: (2020)

Practical Aspects of Declarative Languages
著者:: Komendantskaya, Ekaterina, 等
出版事項: (2020)

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
著者:: Okada, Mitsu, 等
出版事項: (2020)

Game Development with Construct 2. 1st ed.
著者:: STEMKOSKI, LEE, 等
出版事項: (2020)

Integrated Formal Methods
著者:: Davies, Jim, 等
出版事項: (2020)

Integrated Formal Methods
著者:: Romijn, Judi M.T., 等
出版事項: (2020)

Software Product Line Engineering
著者:: Pohl, Klaus, 等
出版事項: (2020)

Component-Based Software Engineering
出版事項: (2020)

Fundamentals of Software Engineering
著者:: Hojjat, Hossein, 等
出版事項: (2020)