Verified Software: Theories, Tools, Experiments

Mã QR

Verified Software: Theories, Tools, Experiments

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Meyer, Bertrand, Woodcock, Jim
Đị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 Software Engineering
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81671
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ự

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

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

Verified Software: Theories, Tools, Experiments
Được phát hành: (2020)

Dependable Software Engineering. Theories, Tools, and Applications
Bỡi: Larsen, Kim Guldstrand, et al.
Được phát hành: (2020)

Dependable Software Engineering. Theories, Tools, and Applications
Bỡi: Feng, Xinyu, et al.
Được phát hành: (2020)

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

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)

Software Engineering Approaches for Offshore and Outsourced Development
Bỡi: Meyer, Bertrand, et al.
Được phát hành: (2020)

Experience and Knowledge Management in Software Engineering
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Đượ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)

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)

New Trends in Software Methodologies, Tools and Techniques
Bỡi: Fujita, Hamido, et al.
Được phát hành: (2013)

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)

Present and Ulterior Software Engineering
Bỡi: Mazzara, Manuel, et al.
Được phát hành: (2020)

Artificial Intelligence: Theories, Models and Applications
Được phát hành: (2020)

Languages, Methodologies and Development Tools for Multi-Agent Systems
Bỡi: Dastani, Mehdi, et al.
Được phát hành: (2020)

Software Quality: Methods and Tools for Better Software and Systems
Bỡi: Winkler, Dietmar, et al.
Được phát hành: (2020)

ECOOP - Object-Oriented Programming
Bỡi: Ernst, Erik
Được phát hành: (2020)

Engineering Multi-Agent Systems
Bỡi: Fallah-Seghrouchni, Amal El, et al.
Được phát hành: (2020)

Model Checking and Artificial Intelligence
Bỡi: Edelkamp, Stefan, et al.
Được phát hành: (2020)

Engineering Web Applications
Được phát hành: (2020)

Bad Programming Practices 101
Bỡi: Beecher, Karl
Được phát hành: (2020)

Trends in Functional Programming
Bỡi: Wang, Meng, et al.
Được phát hành: (2020)

Early Aspects: Current Challenges and Future Directions
Bỡi: Moreira, A.
Được phát hành: (2020)

Principles and Practice of Constraint Programming - CP 2009
Được phát hành: (2020)

Declarative Programming and Knowledge Management
Bỡi: Seipel, Dietmar, et al.
Được phát hành: (2020)

Graphical Models for Security
Bỡi: Liu, Peng, et al.
Được phát hành: (2020)

Programming with Actors
Bỡi: Ricci, Alessandro, et al.
Được phát hành: (2020)

ECOOP 2005 - Object-Oriented Programming
Bỡi: Black, Andrew
Được phát hành: (2020)

Object-Oriented Technology. ECOOP 2007 Workshop Reader
Bỡi: Cebulla, Michael
Được phát hành: (2020)

Object-Oriented Technology.ECOOP 2006 Workshop Reader
Bỡi: Südholt, Mario, et al.
Được phát hành: (2020)

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence
Bỡi: Venkata, Manjunath Gorentla, et al.
Được phát hành: (2020)