Rigorous Methods for Software Construction and Analysis

kod QR

Rigorous Methods for Software Construction and Analysis

Zapisane w:

Opis bibliograficzny
Format:	Książka
Język:	English
Wydane:	Springer Berlin Heidelberg 2020
Hasła przedmiotowe:	Computer Science Programming Techniques Theory of Computation
Dostęp online:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/80937
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Podobne zapisy

Language Engineering and Rigorous Software Development
Wydane: (2020)

Formal Methods and Software Engineering
od: Duan, Zhenhua, i wsp.
Wydane: (2020)

Formal Methods and Software Engineering
od: Butler, Michael, i wsp.
Wydane: (2020)

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

High Confidence Software Reuse in Large Systems
od: Mei, Hong
Wydane: (2020)

Time-Dependent Scheduling
od: Gawiejnowicz, Stanislaw
Wydane: (2020)

Advanced Functional Programming
Wydane: (2020)

Evolutionary Multi-Criterion Optimization
Wydane: (2020)

Algorithms and Computation
od: Deng, Xiaotie, i wsp.
Wydane: (2020)

Spatially Structured Evolutionary Algorithms
od: Tomassini, Marco
Wydane: (2020)

Evolutionary Algorithms for Solving Multi-Objective Problems
od: Coello, Carlos Coello, i wsp.
Wydane: (2020)

Recent Advances in Reinforcement Learning
Wydane: (2020)

OpenMP Shared Memory Parallel Programming
od: Müller, Matthias S., i wsp.
Wydane: (2020)

Mathematical Software – ICMS 2018
od: Davenport, James H., i wsp.
Wydane: (2020)

Machine Learning for Dynamic Software Analysis: Potentials and Limits
od: Bennaceur, Amel, i wsp.
Wydane: (2020)

Engineering Trustworthy Software Systems
od: Bowen, Jonathan P., i wsp.
Wydane: (2020)

Component-Based Software Engineering
Wydane: (2020)

Object-Oriented Analysis, Design and Implementation. 2nd ed.
od: Dathan, Brahma, i wsp.
Wydane: (2020)

Verified Software: Theories, Tools, Experiments
od: Meyer, Bertrand, i wsp.
Wydane: (2020)

Mathematics of Program Construction
od: Audebaud, Philippe, i wsp.
Wydane: (2020)

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

Agile Processes in Software Engineering and Extreme Programming
od: Concas, Giulio, i wsp.
Wydane: (2020)

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

New Opportunities for Software Reuse
od: Capilla, Rafael, i wsp.
Wydane: (2020)

Software Verification and Validation
od: Fisher, Marcus S.
Wydane: (2020)

Models in Software Engineering
Wydane: (2020)

Foundations of Software Science and Computational Structures
od: Amadio, Roberto
Wydane: (2020)

Algebraic Methodology and Software Technology
od: Meseguer, José, i wsp.
Wydane: (2020)

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

Constructing Correct Software
Wydane: (2020)

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

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

Practical Aspects of Declarative Languages
od: Komendantskaya, Ekaterina, i wsp.
Wydane: (2020)

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
od: Okada, Mitsu, i wsp.
Wydane: (2020)

Game Development with Construct 2. 1st ed.
od: STEMKOSKI, LEE, i wsp.
Wydane: (2020)

Integrated Formal Methods
od: Davies, Jim, i wsp.
Wydane: (2020)

Integrated Formal Methods
od: Romijn, Judi M.T., i wsp.
Wydane: (2020)

Software Product Line Engineering
od: Pohl, Klaus, i wsp.
Wydane: (2020)

Component-Based Software Engineering
Wydane: (2020)

Fundamentals of Software Engineering
od: Hojjat, Hossein, i wsp.
Wydane: (2020)