Specifying Message Passing and Time-Critical Systems with Temporal Logic by Ron
67,03 €
How to specify. - A review of modal and temporal logic. - Polymodal logics with inequality. - Summary and concluding remarks. by Ron Koymans. Author Ron Koymans. Language English. Place of Publication Berlin.
Jetzt bei Ebay:
