عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
3540390383
9783540390381
b565929
Axiomatising the Logic of Computer Programming
[Book]
by Robert Goldblatt.
Berlin, Heidelberg
Springer-Verlag : Springer e-books
1982
Lecture Notes in Computer Science, 130
Computer Science
Computer science.
Logic design.
by Robert Goldblatt.
Robert Goldblatt
مطالعه متن کتاب [Book]
Y
