004.424 P 962 Programming Parallel Processors [Text] / ed. R. G. Babb II. - Massachusetts ; New York : Addison Wesley Publishing Company, 1988. - 380 p. - Текст англ. - ISBN 0-201-11721-5 : Б. ц.
Рубрики: Комп'ютерні технології--Програмування Дод.точки доступу: Babb II, R. G. \ed.\ Примірників всього: 1 ВДІМ (1) |
004 F 723 Formal development of Programs and Proofs [Text] / ed. E. W. Dijkstra. - Massachusetts ; New York : Addison Wesley Publishing Company, 1990. - 242 p. - Текст англ. - ISBN 0-201-17237-2 : Б. ц.
Рубрики: Комп'ютерні технології--Програмування Дод.точки доступу: Dijkstra, E. W. \ed.\ Примірників всього: 1 ВДІМ (1) |
004.42 F 535 Fischer, Charles N.. Crafting a compiler with C [Text] / C. N. Fischer, R. J. LeBlanc ; code A. D. Robbins. - California ; Massachusetts : The Benjamin/Cummings Publishing Company, Inc., 1991. - 812 p. - Текст англ. - ISBN 0-8053-2166-7 : Б. ц.
Рубрики: Комп'ютерні технології--Програмування Дод.точки доступу: LeBlanc, Richard J.; Robbins, A. D. \code.\ Примірників всього: 1 ВДІМ (1) |
004 H 227 Hammond, Robert H.. Introduction to Fortran 77 and the personal computer [Text] / R. H. Hammond, W. B. Rogers, J. B. Crittenden ; ed. K. Pace. - New York ; St. Louis ; San Francisco : McGraw-Hill Book Company, 1987. - 413 p. - Текст англ. - ISBN 0-07-025912-7 : Б. ц.
Рубрики: Комп'ютерні технології--Програмування Дод.точки доступу: Rogers, William B.; Crittenden, John B.; Pace, K. \ed.\ Примірників всього: 1 ВДІМ (1) |
004.42 D 489 Developments in Concurrency and Communication [Text] / ed. C. A. R. Hoare. - Massachusetts ; New York : Addison Wesley Publishing Company, 1990. - 335 p. - Текст англ. - ISBN 0-201-17232-1 : Б. ц.
Рубрики: Комп'ютерні технології--Програмування Дод.точки доступу: Hoare, C. A. R. \ed.\ Примірників всього: 1 ВДІМ (1) |
004 J 79 Jones, William C.. Data Structures using Modula-2 [Text] / W. C. Jones. - New York : John Wiley and Sons, Inc., 1988. - 609 p. - Текст англ. - ISBN 0-471-60497-6 : Б. ц.
Рубрики: Комп'ютерні технології--Програмування Примірників всього: 1 ВДІМ (1) |
004 M 282 Manna, Zohar. The Logical basis for computer programming [Text] : deductive systems. Vol. 2 / Z. Manna, R. Waldinger. - Massachusetts ; New York : Addison Wesley Publishing Company, 1990. - 642 p. - Текст англ. - ISBN 0-201-18261-0 : Б. ц.
Рубрики: Комп'ютерні технології--Програмування Дод.точки доступу: Waldinger, Richard Примірників всього: 1 ВДІМ (1) |
004 R 432 Research Topics in Functional programming [Text] / ed. D. A. Turner. - Massachusetts ; New York : Addison Wesley Publishing Company, 1990. - 373 p. - Текст англ. - ISBN 0-201-17236-4 : Б. ц.
Рубрики: Комп'ютерні технології--Програмування Дод.точки доступу: Turner, D. A. \ed.\ Примірників всього: 1 ВДІМ (1) |