Шифр: 004.4 M 24
Manna Zohar. The Logical Basic for Computer Programming. Vol.II. Deductive Systems / Zohar Manna, Richard Waldinger : Addison-Wesley Publishing Company, 1990. – 642 p. – (Addison-Wesley Series in Computer Science). – ISBN 0-201-18261-0. – 300000,00
Manna Zohar. The Logical Basic for Computer Programming. Vol.II. Deductive Systems / Zohar Manna, Richard Waldinger : Addison-Wesley Publishing Company, 1990. – 642 p. – (Addison-Wesley Series in Computer Science). – ISBN 0-201-18261-0. – 300000,00
Статистика використання: Видач: 0
Де отримати
| Місце видачі: | Кількість: | В наявності: |
| Абонемент інозем.літ-ри к. 438 | 1 | 1 |
Тема:
- УДК
- 004.42 Програмування комп' ютерів.Комп' ютерні програми Ключові слова
- програмування, программирование, programming, Programmieren, programmation
- символічна логіка, символическая логика, symbolic logic
- математична логіка, математическая логика, mathematical logic, logique mathematique, mathematische Logik