Summary goes here
Enregistré dans:
| Format: | Livre |
|---|---|
| Langue: | anglais |
| Sujets: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 90ecb77b-b6da-4d28-9e56-85cd33d22f3c |
| isbn | 9780521450553 |
| issn | |
| language | eng |
| physical | xvii, 180 pages :illustrations ;26 cm |
| publication | – publisher: University of Cambridge Press dateOfPublication: 1993 |
| publishDate | 1993 |
| subjects | |
| title | Specification and proof in real-time CSP / Jim Davies. |
| topic | Real-time data processing. |