Theories of Programming and Formal Methods
| Altri autori: | Liu |
|---|---|
| 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
-
Unifying Theories of Programming and Formal Engineering Methods
Pubblicazione: (2013) -
Integrated Formal Methods
Pubblicazione: (2013) -
NASA Formal Methods
Pubblicazione: (2013) -
Formal Methods and Software Engineering
Pubblicazione: (2013) -
Formal Methods for Components and Objects
Pubblicazione: (2013)