ITU DS¤Symbolic model checking of real-time systems using difference decision diagrams
0,00 kr
På lager
ISBN
9788779490239
ISBN-13 | 9788779490239 |
---|---|
EAN | 9788779490239 |
Illustreret i farver/sh | Nej |