Number of the records: 1
The logical Basis for Computer Programming
- MANNA, Zohar - WALDINGER, Richard. The logical Basis for Computer Programming. Vol.2. Deductive Systems. 1. ed. Reading : Addison-Wesley Publ. Co., 1990. 642 s.
Number of the records: 1