عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9783642294853
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434558
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic and Program Semantics
General Material Designation
[Book]
Other Title Information
Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /
First Statement of Responsibility
edited by Robert L. Constable, Alexandra Silva
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, Heidelberg :
Name of Publisher, Distributor, etc.
Springer Berlin Heidelberg,
Date of Publication, Distribution, etc.
2012
SERIES
Series Title
Lecture Notes in Computer Science,
Volume Designation
7230
ISSN of Series
0302-9743 ;
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
9783642294846
PIECE
Title
Springer eBooks
TOPICAL NAME USED AS SUBJECT
Computer science
Computer software
Logic design
Software engineering
Algorithm Analysis and Problem Complexity
Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering
PERSONAL NAME - PRIMARY RESPONSIBILITY
Constable, Robert L
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Silva, Alexandra
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
SpringerLink (Online service)
ORIGINATING SOURCE
Date of Transaction
20120425150255.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
