Normal view MARC view ISBD view

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

By:

Contributor(s):

Material type: Text

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

Subject(s):

DDC classification:

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	Collection	Call number	Status	Date due	Barcode
Books	Institute of Mechanics	General	А65 (Browse shelf(Opens below))	Available		МЕС9148

Перевод изд.: Proving programs correct /Robert B. Anderson (New York etc., 1979)

Библиогр. : с. 155-159

There are no comments on this title.

to post a comment.