عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540390383
(Number (ISBN
9783540390381
NATIONAL BIBLIOGRAPHY NUMBER
Number
b565929
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Axiomatising the Logic of Computer Programming
General Material Designation
[Book]
First Statement of Responsibility
by Robert Goldblatt.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, Heidelberg
Name of Publisher, Distributor, etc.
Springer-Verlag : Springer e-books
Date of Publication, Distribution, etc.
1982
SERIES
Series Title
Lecture Notes in Computer Science, 130
TOPICAL NAME USED AS SUBJECT
Computer Science
Computer science.
Logic design.
PERSONAL NAME - PRIMARY RESPONSIBILITY
by Robert Goldblatt.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Robert Goldblatt
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
