Ob Algoritme dokazatelʹstva svojstv abstraktnych tipov dannych
- ISBN 10 : OCLC:256386610
- Judul : Ob Algoritme dokazatelʹstva svojstv abstraktnych tipov dannych
- Pengarang : G. A. Kučerov,
- Bahasa : en
- Tahun : 1987
- Halaman : 25
- Halaman : 25
- Google Book : http://books.google.com/books?id=9i9IPgAACAAJ&dq=intitle:Algoritme&hl=&source=gbs_api
-
Ketersediaan :