1. The logical Basis for Computer Programming
| Title | The logical Basis for Computer Programming . Vol.2. Deductive Systems |
|---|---|
| Author info | Zohar Manna, Richard Waldinger |
| Author | Manna Zohar |
| Co-authors | Waldinger Richard |
| Issue data | Reading : Addison-Wesley Publ. Co. , 1990. - 642 s. |
| Issue | 1. ed. |
| Document kind | textbooks |
| Language | English |
| Country of Edition | United States of America |
| systematics | 681.3.06 - Programové vybavenie počítača. Software |
| Keywords | programovanie * systémy počítačové * programovanie počítačov |
| Database | BOOKS |
| Copy count | 1, currently available 1, at library only 0 |
| Call number | 701097 |