Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science)
Book Details
Author(s)R. Goldblatt
PublisherSpringer
ISBN / ASIN3540112103
ISBN-139783540112105
AvailabilityUsually ships in 24 hours
Sales Rank3,374,549
MarketplaceUnited States 🇺🇸
