Unifying Theories of Programming and Formal Engineering Methods
| Beste egile batzuk: | Liu |
|---|---|
| Formatua: | Baliabide elektronikoa eBook |
| Hizkuntza: | English |
| Argitaratua: |
Springer Berlin Heidelberg,
2013
|
| Edizioa: | 1 |
| Gaiak: | |
| Sarrera elektronikoa: | Full text available on Springer Off-campus access |
Antzeko izenburuak
-
Unifying Theories of Programming
Argitaratua: (2013) -
Theories of Programming and Formal Methods
Argitaratua: (2013) -
Formal Methods and Software Engineering
Argitaratua: (2013) -
Software Engineering and Formal Methods
Argitaratua: (2013) -
Integrated Formal Methods
Argitaratua: (2013)