Partial-Order Methods for the Verification of Concurrent Systems: An Approach to
67,31 €
This monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Liege, Belgium, with Pierre Wolper as thesis advisor.The general pattern of this work, is to turn logical and semantic ideas into exploitable algorithms.
Jetzt bei Ebay:
