FFunctional models of procedural programsFunctional models of procedural programsde Mark Harman · Publicada por primera vez en 1992Ediciones (1)Functional models of procedural programs. (1992)inglésMás obras de Mark HarmanFormal methods and testingFirst course in C++1997LLiterary echoesLiterary echoes1982