Метод разрешения семантических свойств алгоритмов

• Autorzy: Ю. И. Янов

Warianty tytułu

EN

A method for the determination of the semantic properties of algorithms

• Języki publikacji: RU
• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Banach Center Publications
• Rocznik: 1988
• Tom: 21
• Numer: 1
• Strony: 585-597

Daty

wydano

1988

Twórcy

autor

Ю. И. Янов

• Институт прикладной математики им. М. В. Келдыша АН СССР, Москва, СССР