FFoundations of computer science IIFoundations of computer science IIde Krzysztof R. Apt, J. W. de BakkerMateriasComputer scienceEdiciones (1)Foundations of computer science II (1976)Mathematisch Centrum · inglésMás obras de Krzysztof R. AptVerification of sequential and concurrent programs