Formal Methods for Mining Structured Objects
| Autore principale: | Garriga |
|---|---|
| Natura: | Elettronico eBook |
| Lingua: | English |
| Pubblicazione: |
Springer Berlin Heidelberg,
2013
|
| Edizione: | 1 |
| Soggetti: | |
| Accesso online: | Full text available on Springer Off-campus access |
Documenti analoghi
-
Structured Object-Oriented Formal Language and Method
Pubblicazione: (2013) -
Formal Methods for Components and Objects
Pubblicazione: (2013) -
Formal Methods for Components and Objects
Pubblicazione: (2013) -
Integrated Formal Methods
Pubblicazione: (2013) -
NASA Formal Methods
Pubblicazione: (2013)