Formal Methods for Embedded Distributed Systems: How to master the complexity by
123,08 €
Different notations are mandatory because different aspects of the Software System have to be tackled. The different notations that can be used must all possess at least one property: formality. The BART Case Study.
Jetzt bei Ebay:
