An Introduction to Practical Formal Methods Using Temporal Logic
Book Details
Author(s)Michael Fisher
PublisherWiley
ISBN / ASIN0470027886
ISBN-139780470027882
CategoryTechnology & Engineering
MarketplaceIndia 🇮🇳
