Normal view MARC view ISBD view

Доказательство правильности программ / Р. Андерсон пер.: Б. Н. Зобнина; ред.: Д. Б. Подшивалов

By:

Contributor(s):

Material type: Text

TextLanguage: Russian Original language: English Publication details: Москва: Мир, 1982.Description: 168 с. илOther title:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Notes	Date due	Barcode
Books	Institute for Informatics and Automation Problems	518.6 А 65 (Browse shelf(Opens below))	Available	30 Days Loan		IAP23339

Previous								Next
Previous	518.6 А 45 Проектирование корректных структурированных программ /	518.6 А 53 Математическое обеспечение экономических расчетов с использованием теории графовв /	518.6 А 53 Математическое обеспечение экономических расчетов с использованием теории графов /	518.6 А 65 Доказательство правильности программ /	518.6 А 72 Программироваие на микрокалькуляторе мк-64 /	518.6 А 85 Программирование игр и головоломок /	518.6 А 86 Автоматизация конструирования библиотек программ /	Next

Библиогр.: с. 154-160

There are no comments on this title.

to post a comment.