Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science)
Book Details
PublisherSpringer
ISBN / ASIN3540128964
ISBN-139783540128960
MarketplaceUnited Kingdom 🇬🇧
