Description: Dokazatel'stvo pravil'nosti programm /

Saved in:

Bibliographic Details
Main Author:	Anderson, Robert B. (Author)
Format:	Book
Language:	Russian English
Published:	Moskva : Mir, 1982.
Edition:	1. izd.
ISBN:	(brož.)
Physical Description:	163 s.
Tags:	Add Tag No Tags, Be the first to tag this record!

Titul je dostupný aj v ... Loading

Description
Item Description:	Z angl. orig.: Proving programs correct
Physical Description:	163 s.
ISBN:	(brož.)