An Introduction to Formal Program Verification
📄 Viewing lite version
Full site ›
Book Details
Author(s)Ali Mili
PublisherVan Nostrand Reinhold
ISBN / ASIN0442263228
ISBN-139780442263225
Sales Rank6,193,515
MarketplaceUnited States 🇺🇸