Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science)
Book Details
Author(s)R. Goldblatt
PublisherSpringer
ISBN / ASIN3540112103
ISBN-139783540112105
MarketplaceFrance 🇫🇷
