Tool Support for System Specification, Development and Verification by Rudolf Be
69,04 €
Of course, a prerequisite for applying this approach to large systems is to have suitable tool support. Finally, it describes many case studies. - Model Elimination with Simplification and its Application to Software Verification.
Jetzt bei Ebay:
