Validated Designs for Object-oriented Systems

Mã QR

Validated Designs for Object-oriented Systems

Đã 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 London 2020
Những chủ đề:	Computer Science Programming Techniques Software Engineering/Programming and Operating Systems
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81284
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ự

Object-Oriented Technology. ECOOP 2004 Workshop Reader
Được phát hành: (2020)

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

Reverse Engineering of Object Oriented Code
Được phát hành: (2020)

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

ECOOP - Object-Oriented Programming
Bỡi: Ernst, Erik
Đượ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 2006 Workshop Reader
Bỡi: Südholt, Mario, et al.
Được phát hành: (2020)

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

Structured Object-Oriented Formal Language and Method
Bỡi: Liu, Shaoying, et al.
Được phát hành: (2020)

Object-Oriented Technology. ECOOP 2008 Workshop Reader
Được phát hành: (2020)

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

ECOOP 2009 -- Object-Oriented Programming
Được phát hành: (2020)

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

Formal Methods for Components and Objects
Được phát hành: (2020)

Objects, Components, Models and Patterns
Được phát hành: (2020)

Formal Methods for Components and Objects
Bỡi: Boer, Frank S. de, et al.
Được phát hành: (2020)

Objects, Components, Models and Patterns
Bỡi: Paige, Richard F., et al.
Được phát hành: (2020)

Formal Methods for Components and Objects
Bỡi: Boer, Frank S. de, et al.
Được phát hành: (2020)

Structured Object-Oriented Formal Language and Method
Bỡi: Tian, Cong, 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)

Real-Time Object Uniform Design Methodology with UML
Bỡi: Duc, Bui Minh
Được phát hành: (2020)

Form-Oriented Analysis
Được phát hành: (2020)

Leveraging Applications of Formal Methods, Verification and Validation
Được phát hành: (2020)

Principles and Practice of Constraint Programming - CP 2005
Bỡi: Beek, Peter van
Được phát hành: (2020)

Generative and Transformational Techniques in Software Engineering II
Được phát hành: (2020)

Logic-Based Program Synthesis and Transformation
Được phát hành: (2020)

Advanced Functional Programming
Bỡi: Vene, Varmo, et al.
Được phát hành: (2020)

Automated Reasoning
Bỡi: Armando, Alessandro, et al.
Được phát hành: (2020)

Theoretical Aspects of Computing - ICTAC 2008
Được phát hành: (2020)

Graph Transformations
Được phát hành: (2020)

Logic Programming
Bỡi: Gabbrielli, Maurizio, et al.
Được phát hành: (2020)

Verification, Model Checking, and Abstract Interpretation
Được phát hành: (2020)

Datatype-Generic Programming
Bỡi: Backhouse, Roland, et al.
Được phát hành: (2020)

Multi-Agent Programming
Được phát hành: (2020)

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

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

Inductive Logic Programming
Bỡi: Kramer, Stefan, et al.
Được phát hành: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Bỡi: Dershowitz, Nachum, et al.
Được phát hành: (2020)

Principles and Practice of Constraint Programming - CP 2007
Bỡi: Bessiere, Christian
Được phát hành: (2020)

Inductive Logic Programming
Bỡi: Blockeel, Hendrik, et al.
Được phát hành: (2020)