Verifying Concurrent Processes Using Temporal Logic by B.T. Hailpern (English) P
67,31 €
By B.T. Hailpern. Author B.T. Hailpern. Verifying Concurrent Processes Using Temporal Logic. - Temporal logic. - Network protocols. - Resource allocation. Short Title VERIFYING CONCURRENT PROCESSES.
Jetzt bei Ebay:
![Produktbild - Handy Book of Rules and Tables for Verifying Dates of Historical [Leather Bound]](https://i.ebayimg.com/thumbs/images/g/EfkAAeSwY-NoXoWo/s-l140.jpg)
