عنوان
پدید آورنده
موضوع
رده
QA76.9.M35 W67 2012eb
QA76
.
9
.
M35
W67
2012eb
کتابخانه
محل استقرار
3642327842 (electronic bk.)
9783642327841 (electronic bk.)
9783642327834
b434784
Coalgebraic methods in computer science
[Book]
11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31-April 1, 2012 : revised selected papers /
Dirk Pattinson, Lutz Schröder (eds.)
New York :
Springer,
c2012
1 online resource (258 p.) :
ill
Lecture notes in computer science ;
LNCS Sublibrary. SL 1, Theoretical computer science and general issues
7399
Includes bibliographical references and index
Coalgebraic methods in computer science.
OhioLINK electronic book center (Online)
SpringerLink
CMSC 2012
ETAPS 2012
Computer science-- Mathematics, Congresses
Computer software-- Mathematics, Congresses
004
.
01/51
23
QA76
.
9
.
M35
QA76
.
9
.
M35
W67
2012eb
W67
2012eb
Pattinson, Dirk,1970-
Schröder, Lutz
Workshop on Coalgebraic Methods in Computer Science(11th :2012 :, Tallinn, Estonia)
ETAPS (Conference)(2012 :, Tallinn, Estonia)
20130304114535.0
مطالعه متن کتاب [Book]
Y
