
The Temporal Logic of Reactive and Concurrent Systems
Amir Pnueli, Zohar Manna
₹4,268

Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on
by Ana Cavalli
Springer-Verlag New York Inc. · 2013
Free delivery. Nothing extra to pay at checkout.
Protocol Test Systems VIII: Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on is written by Ana Cavalli. This edition from Springer-Verlag New York Inc. (2013) has 452 pages.
Topics covered include Engineering, Computer Communication Networks and Computer network protocols.