عنوان
پدید آورنده
موضوع
رده
QA76.9.L63 L64 2012eb
QA76
.
9
.
L63
L64
2012eb
کتابخانه
محل استقرار
3642294855 (electronic bk.)
9783642294853 (electronic bk.)
3642294847
9783642294846
b434557
Logic and program semantics
[Book]
essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
Robert L. Constable, Alexandra Silva (eds.)
New York :
Springer,
c2012
1 online resource (xiii, 355 p.) :
ill. (some col.)
Festschrift
Programming and software engineering
7230.
0302-9743 ;
Includes bibliographical references
Logic and program semantics.
9783642294846
OhioLINK electronic book center (Online)
SpringerLink
Computer logic
Computer programming
Software engineering
QA
005
.
101/5113
23
QA76
.
9
.
L63
QA76
.
9
.
L63
L64
2012eb
L64
2012eb
20120905150650.0
مطالعه متن کتاب [Book]
Y
