Formal Methods for the Design of Real-Time Systems: International School on Form
69,60 €
A large class of computing systems can be speci'ed and veri'ed by abstracting away from the temporal aspects of their behavior. Models and Languages. - On the Semantic Foundations of Standard UML 2.0.
Jetzt bei Ebay:
