Normal view MARC view ISBD view

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

By:

Contributor(s):

Material type: Text

TextLanguage: Russian Original language: English Publication details: Москва : Мир, 1982.Description: 163 с. ; 20 смSubject(s):

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	Notes	Date due	Barcode
Գրքեր/Books	Fundamental Scientific Library	General	PII/479870 (Browse shelf(Opens below))	Available	30 Days Loan		FL0284641
Գրքեր/Books	Fundamental Scientific Library	General	PII/481457 (Browse shelf(Opens below))	Available	30 Days Loan		FL0281498

Previous								Next
Previous	PII/479866 Сингапур : Экономико-географический очерк /	PII/479867 Производственные объединения: организация, эффективность, перспективы развития /	PII/479868 Организация процессов управления производством /	PII/479870 Доказательство правильности программ /	PII/479871 Ленинская политика интернационализма в СССР: история и современность /	PII/479872 Польские физические олимпиады : [Сборник задач по физике] : Перевод с польского /	PII/479873 Д.И. Менделеев и физико-химические науки : Опыт научной биографии Д.И. Менделеева /	Next

Оригинал на англ. : Proving Pprograms Correct / Robert B. Anderson - New York : 1979

There are no comments on this title.

to post a comment.