Ładuje się......
Verification of systems and circuits using LOTOS,Petri Nets, and CCS
| 1. autor: | |
|---|---|
| Język: | English |
| Wydane: |
New Jersey
John Wiley & Sons
2008
|
| Hasła przedmiotowe: |
| Deskrypcja: | |
|---|---|
| Opis fizyczny: | xv,231p |
| ISBN: | 9780471704492 |