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