عنوان
پدید آورنده
موضوع
رده
QA76.9.M35
QA76
.
9
.
M35
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642402062 (electronic bk.)
(Number (ISBN
9783642402067 (electronic bk.)
Erroneous ISBN
9783642402050
NATIONAL BIBLIOGRAPHY NUMBER
Number
b435113
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Algebra and coalgebra in computer science :
General Material Designation
[Book]
Other Title Information
5th international conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013 : proceedings /
First Statement of Responsibility
Reiko Heckel, Stefan Milius (eds.)
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xiv, 359 pages) :
Other Physical Details
illustrations
SERIES
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
8089
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the refereed proceedings of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, held in Warsaw, Poland, in September 2013. The 18 full papers presented together with 4 invited talks were carefully reviewed and selected from 33 submissions. The papers cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, system specification and verification, as well as corecursion in programming languages, and algebra and coalgebra in quantum computing. The book also includes 6 papers from the CALCO Tools Workshop, co-located with CALCO 2013 and dedicated to tools based on algebraic and/or coalgebraic principles
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
CALCO 2013
TOPICAL NAME USED AS SUBJECT
Algebra, Congresses
Computer science-- Mathematics, Congresses
(SUBJECT CATEGORY (Provisional
COM014000
COM031000
UY
UYA
DEWEY DECIMAL CLASSIFICATION
Number
004
.
0151
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
M35
Class number
QA76
.
9
.
M35
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Heckel, Reiko
Milius, Stefan
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
CALCO (Conference)(5th :2013 :, Warsaw, Poland)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
Ohio Library and Information Network
ORIGINATING SOURCE
Date of Transaction
20131202122223.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
