Rigorous Methods for Software Construction and Analysis

Côd QR

Rigorous Methods for Software Construction and Analysis

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Fformat:	Llyfr
Iaith:	English
Cyhoeddwyd:	Springer Berlin Heidelberg 2020
Pynciau:	Computer Science Programming Techniques Theory of Computation
Mynediad Ar-lein:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/80937
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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

Eitemau Tebyg

Language Engineering and Rigorous Software Development
Cyhoeddwyd: (2020)

Formal Methods and Software Engineering
gan: Duan, Zhenhua, et al.
Cyhoeddwyd: (2020)

Formal Methods and Software Engineering
gan: Butler, Michael, et al.
Cyhoeddwyd: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Cyhoeddwyd: (2020)

High Confidence Software Reuse in Large Systems
gan: Mei, Hong
Cyhoeddwyd: (2020)

Time-Dependent Scheduling
gan: Gawiejnowicz, Stanislaw
Cyhoeddwyd: (2020)

Advanced Functional Programming
Cyhoeddwyd: (2020)

Evolutionary Multi-Criterion Optimization
Cyhoeddwyd: (2020)

Algorithms and Computation
gan: Deng, Xiaotie, et al.
Cyhoeddwyd: (2020)

Spatially Structured Evolutionary Algorithms
gan: Tomassini, Marco
Cyhoeddwyd: (2020)

Evolutionary Algorithms for Solving Multi-Objective Problems
gan: Coello, Carlos Coello, et al.
Cyhoeddwyd: (2020)

Recent Advances in Reinforcement Learning
Cyhoeddwyd: (2020)

OpenMP Shared Memory Parallel Programming
gan: Müller, Matthias S., et al.
Cyhoeddwyd: (2020)

Mathematical Software – ICMS 2018
gan: Davenport, James H., et al.
Cyhoeddwyd: (2020)

Machine Learning for Dynamic Software Analysis: Potentials and Limits
gan: Bennaceur, Amel, et al.
Cyhoeddwyd: (2020)

Engineering Trustworthy Software Systems
gan: Bowen, Jonathan P., et al.
Cyhoeddwyd: (2020)

Component-Based Software Engineering
Cyhoeddwyd: (2020)

Object-Oriented Analysis, Design and Implementation. 2nd ed.
gan: Dathan, Brahma, et al.
Cyhoeddwyd: (2020)

Verified Software: Theories, Tools, Experiments
gan: Meyer, Bertrand, et al.
Cyhoeddwyd: (2020)

Mathematics of Program Construction
gan: Audebaud, Philippe, et al.
Cyhoeddwyd: (2020)

Extreme Programming and Agile Processes in Software Engineering
Cyhoeddwyd: (2020)

Agile Processes in Software Engineering and Extreme Programming
gan: Concas, Giulio, et al.
Cyhoeddwyd: (2020)

Transactions on Aspect-Oriented Software Development VI
Cyhoeddwyd: (2020)

New Opportunities for Software Reuse
gan: Capilla, Rafael, et al.
Cyhoeddwyd: (2020)

Software Verification and Validation
gan: Fisher, Marcus S.
Cyhoeddwyd: (2020)

Models in Software Engineering
Cyhoeddwyd: (2020)

Foundations of Software Science and Computational Structures
gan: Amadio, Roberto
Cyhoeddwyd: (2020)

Algebraic Methodology and Software Technology
gan: Meseguer, José, et al.
Cyhoeddwyd: (2020)

Formal Methods for Open Object-Based Distributed Systems
Cyhoeddwyd: (2020)

Constructing Correct Software
Cyhoeddwyd: (2020)

Generative and Transformational Techniques in Software Engineering II
Cyhoeddwyd: (2020)

Transactions on Aspect-Oriented Software Development V
Cyhoeddwyd: (2020)

Practical Aspects of Declarative Languages
gan: Komendantskaya, Ekaterina, et al.
Cyhoeddwyd: (2020)

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
gan: Okada, Mitsu, et al.
Cyhoeddwyd: (2020)

Game Development with Construct 2. 1st ed.
gan: STEMKOSKI, LEE, et al.
Cyhoeddwyd: (2020)

Integrated Formal Methods
gan: Davies, Jim, et al.
Cyhoeddwyd: (2020)

Integrated Formal Methods
gan: Romijn, Judi M.T., et al.
Cyhoeddwyd: (2020)

Software Product Line Engineering
gan: Pohl, Klaus, et al.
Cyhoeddwyd: (2020)

Component-Based Software Engineering
Cyhoeddwyd: (2020)

Fundamentals of Software Engineering
gan: Hojjat, Hossein, et al.
Cyhoeddwyd: (2020)