Specification and Proof in real- time CSP /
Tallennettuna:
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Kirja |
| Kieli: | englanti |
| Julkaistu: |
Cambridge :
Press Sydicate,
c1993.
|
| Aiheet: | |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|
Athi-River Campus: Open Shelves
| Hyllypaikka: |
PE1417.A13 |
|---|---|
| Viivakoodi BK017756 | Saatavissa Tee varaus |