Lataa...
Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Printed Book |
| Kieli: | English |
| Julkaistu: |
New Jersey
John Wiley & Sons
2008
|
| Aiheet: |
UL
| Hyllypaikka: |
621.3.049.77 YOE |
|---|---|
| Nide | Reaaliaikaista tietoa ei saatavissa |