V. A. Petrushin

From MaRDI portal
Person:1053449

Available identifiers

zbMath Open petrushin.valery-aMaRDI QIDQ1053449

List of research outcomes





PublicationDate of PublicationType
Intelligent tutoring systems: Architecture and methods of implementation. A survey1996-11-27Paper
Denotational semantics of mixed computation processes for a structural programming language1988-01-01Paper
Deductive semantics of file processing operators and its application to verification of COBOL programs1982-01-01Paper

Research outcomes over time

This page was built for person: V. A. Petrushin

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1053449&oldid=5868070"
Powered by MediaWiki