Formal Methods for Components and Objects

Κώδικας QR

Formal Methods for Components and Objects

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Roever, Willem-Paul de
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Springer Berlin Heidelberg 2020
Θέματα:	Computer Science Software Engineering/Programming and Operating Systems Software Engineering
Διαθέσιμο Online:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81999
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Παρόμοια τεκμήρια

Formal Methods for Components and Objects
ανά: Boer, Frank S. de, κ.ά.
Έκδοση: (2020)

Formal Methods for Components and Objects
Έκδοση: (2020)

Formal Methods for Components and Objects
Έκδοση: (2020)

Formal Techniques for Distributed Objects, Components, and Systems
ανά: Baier, Christel, κ.ά.
Έκδοση: (2020)

Objects, Components, Models and Patterns
Έκδοση: (2020)

Objects, Components, Models and Patterns
ανά: Paige, Richard F., κ.ά.
Έκδοση: (2020)

Formal Methods and Testing
ανά: Hierons, Robert M., κ.ά.
Έκδοση: (2020)

Structured Object-Oriented Formal Language and Method
ανά: Liu, Shaoying, κ.ά.
Έκδοση: (2020)

FM 2009: Formal Methods
Έκδοση: (2020)

Formal Methods and Software Engineering
ανά: Lau, Kung-Kiu, κ.ά.
Έκδοση: (2020)

Formal Methods for Computational Systems Biology
ανά: Bernardo, Marco, κ.ά.
Έκδοση: (2020)

Formal Methods for Industrial Critical Systems
Έκδοση: (2020)

Formal Methods and Hybrid Real-Time Systems
ανά: Jones, Cliff B., κ.ά.
Έκδοση: (2020)

Formal Methods for Open Object-Based Distributed Systems
ανά: Barthe, Gilles
Έκδοση: (2020)

FM 2008: Formal Methods
ανά: Cuellar, Jorge, κ.ά.
Έκδοση: (2020)

Formal Methods for Web Services
Έκδοση: (2020)

Formal Techniques for Distributed Objects, Components, and Systems
ανά: Bouajjani, Ahmed, κ.ά.
Έκδοση: (2020)

Structured Object-Oriented Formal Language and Method
ανά: Tian, Cong, κ.ά.
Έκδοση: (2020)

Formal Methods and Software Engineering
ανά: Butler, Michael, κ.ά.
Έκδοση: (2020)

Component-Based Software Engineering
Έκδοση: (2020)

The Common Component Modeling Example
Έκδοση: (2020)

Component-Based Software Engineering
ανά: Schmidt, Heinz G., κ.ά.
Έκδοση: (2020)

Generative Programming and Component Engineering
ανά: Glück, Robert, κ.ά.
Έκδοση: (2020)

Component-Based Software Testing with UML
Έκδοση: (2020)

Testing Commercial-off-the-Shelf Components and Systems
Έκδοση: (2020)

Component-Based Software Development for Embedded Systems
ανά: Atkinson, Colin, κ.ά.
Έκδοση: (2020)

Structured Object-Oriented Formal Language and Method
ανά: Miao, Huaikou, κ.ά.
Έκδοση: (2020)

Reverse Engineering of Object Oriented Code
Έκδοση: (2020)

Leveraging Applications of Formal Methods, Verification and Validation
Έκδοση: (2020)

Formal Methods for Industrial Critical Systems
Έκδοση: (2020)

Formal Methods and Software Engineering
Έκδοση: (2020)

Formal Methods and Software Engineering
Έκδοση: (2020)

Formal Methods: Foundations and Applications
Έκδοση: (2020)

Web Component Development with Zope 3
ανά: Weitershausen, Philipp
Έκδοση: (2020)

Web Component Development with Zope 3
Έκδοση: (2020)

Real-Time Object Uniform Design Methodology with UML
ανά: Duc, Bui Minh
Έκδοση: (2020)

Formal Aspects of Component Software
ανά: Kouchnarenko, Olga, κ.ά.
Έκδοση: (2020)

Component-Based Software Engineering
Έκδοση: (2020)

Formal Aspects of Component Software
ανά: Bae, Kyungmin, κ.ά.
Έκδοση: (2020)

Formal Aspects of Component Software
ανά: Proença, José, κ.ά.
Έκδοση: (2020)