Compositional Specification of Commercial Contracts
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Formelle metoder, kommercielle kontrakter, programmeringssprog
| Originalsprog | Engelsk |
|---|---|
| Titel | publisher |
| Forlag | University of Cyprus |
| Publikationsdato | 2004 |
| Sider | 8 |
| ISBN (Trykt) | N/A |
| Status | Udgivet - 2004 |
| Begivenhed | Compositional Specification of Commercial Contracts - Varighed: 29 nov. 2010 → … |
Konference
| Konference | Compositional Specification of Commercial Contracts |
|---|---|
| Periode | 29/11/2010 → … |
ID: 15406389