Formal Methods for Components and Objects
| Altres autors: | Beckert |
|---|---|
| Format: | Electrònic eBook |
| Idioma: | English |
| Publicat: |
Springer Berlin Heidelberg,
2013
|
| Edició: | 1 |
| Matèries: | |
| Accés en línia: | Full text available on Springer Off-campus access |
Ítems similars
-
Formal Methods for Components and Objects
Publicat: (2013) -
Formal Methods for Mining Structured Objects
per: Garriga
Publicat: (2013) -
Structured Object-Oriented Formal Language and Method
Publicat: (2013) -
Formal Aspects of Component Software
Publicat: (2013) -
Integrated Formal Methods
Publicat: (2013)