The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Rei
108,75 €
The Logic of Software. He has served as chair and editor of important related academic conferences, and coauthored almost 200 academic publications. I can see clearly now: Clairvoyant Assertions for Deadlock Checking.
Jetzt bei Ebay: