ID-TR¤A verification assistant for a Real-Time Logic
275,00 kr
På lager
ISBN
9788789112237
ISBN-13 | 9788789112237 |
---|---|
EAN | 9788789112237 |
Illustreret i farver/sh | Nej |