CComputer-Aided VerificationComputer-Aided Verificationde E. M. ClarkeEdiciones (1)Computer-Aided Verification (1991)Springer · inglés · ISBN 9780387544779Más obras de E. M. ClarkeTThe first seven daysThe first seven daysSSuper Sleuths and the Pirate's PlunderSuper Sleuths and the Pirate's PlunderSSuper Sleuths and the Royal Captive :Super Sleuths and the Royal Captive :