Formal Methods for Components and Objects
| Drugi avtorji: | Beckert |
|---|---|
| Format: | Elektronski eKnjiga |
| Jezik: | English |
| Izdano: |
Springer Berlin Heidelberg,
2013
|
| Izdaja: | 1 |
| Teme: | |
| Online dostop: | Full text available on Springer Off-campus access |
Podobne knjige/članki
-
Formal Methods for Components and Objects
Izdano: (2013) -
Formal Methods for Mining Structured Objects
od: Garriga
Izdano: (2013) -
Structured Object-Oriented Formal Language and Method
Izdano: (2013) -
Formal Aspects of Component Software
Izdano: (2013) -
Integrated Formal Methods
Izdano: (2013)