Učitavanje...
Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS
| Glavni autor: | |
|---|---|
| Format: | Printed Book |
| Jezik: | English |
| Izdano: |
New Jersey
John Wiley & Sons
2008
|
| Teme: |
UL
| Signatura: |
621.3.049.77 YOE |
|---|---|
| Primjerak | Prikaz statusa u stvarnom vremenu nije dostupan |