عنوان
پدید آورنده
موضوع
رده
QA76.9.L63 L64 2012eb
QA76
.
9
.
L63
L64
2012eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642294855 (electronic bk.)
(Number (ISBN
9783642294853 (electronic bk.)
Erroneous ISBN
3642294847
Erroneous ISBN
9783642294846
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434557
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
Robert L. Constable, Alexandra Silva (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
c2012
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xiii, 355 p.) :
Other Physical Details
ill. (some col.)
SERIES
Series Title
Festschrift
Series Title
Programming and software engineering
Volume Designation
7230.
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references
OTHER EDITION IN ANOTHER MEDIUM
Title
Logic and program semantics.
International Standard Book Number
9783642294846
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
TOPICAL NAME USED AS SUBJECT
Computer logic
Computer programming
Software engineering
(SUBJECT CATEGORY (Provisional
QA
DEWEY DECIMAL CLASSIFICATION
Number
005
.
101/5113
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
L63
Class number
QA76
.
9
.
L63
Book number
L64
2012eb
Book number
L64
2012eb
ORIGINATING SOURCE
Date of Transaction
20120905150650.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
