Constructing correct software /
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Liburua |
| Hizkuntza: | English |
| Argitaratua: |
London :
Springer,
2008.
|
| Edizioa: | 2nd ed. |
| Saila: | Formal approaches to computing and information technology
|
| Gaiak: | |
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
| Deskribapen fisikoa: | xxi, 509 pages : illustrations ; 24 cm. |
|---|---|
| ISBN: | 1852338202 9781852338206 |