Coverart for item
The Resource Algebra and Coalgebra in Computer Science : 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings, edited by Andrea Corradini, Bartek Klin, Corina Cîrstea, (electronic resource)

Algebra and Coalgebra in Computer Science : 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings, edited by Andrea Corradini, Bartek Klin, Corina Cîrstea, (electronic resource)

Label
Algebra and Coalgebra in Computer Science : 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings
Title
Algebra and Coalgebra in Computer Science
Title remainder
4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings
Statement of responsibility
edited by Andrea Corradini, Bartek Klin, Corina Cîrstea
Contributor
Editor
Editor
Subject
Language
  • eng
  • eng
Summary
This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. The 21 full papers presented together with 4 invited talks were carefully reviewed and selected from 41 submissions. The papers report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. They cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book also includes 6 papers from the CALCO-tools Workshop, colocated with CALCO 2011 and dedicated to tools based on algebraic and/or coalgebraic principles
Member of
Is Subseries of
Dewey number
005.1015113
http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsedt
  • Aa4xelfGsqo
  • Ls5XMDWSiMI
  • basS9-JVU60
Image bit depth
0
Language note
English
LC call number
  • QA76.9.L63
  • QA76.5913
  • QA76.63
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
  • Corradini, Andrea.
  • Klin, Bartek.
  • Cîrstea, Corina.
Series statement
Theoretical Computer Science and General Issues
Series volume
6859
http://library.link/vocab/subjectName
  • Logic design
  • Computer science
  • Computational complexity
  • Algebra
  • Logics and Meanings of Programs
  • Mathematical Logic and Formal Languages
  • Discrete Mathematics in Computer Science
  • Symbolic and Algebraic Manipulation
  • Models and Principles
  • Computation by Abstract Devices
Label
Algebra and Coalgebra in Computer Science : 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings, edited by Andrea Corradini, Bartek Klin, Corina Cîrstea, (electronic resource)
Instantiates
Publication
Note
Bibliographic Level Mode of Issuance: Monograph
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Color
not applicable
Content category
text
Content type code
txt
Dimensions
unknown
Edition
1st ed. 2011.
Extent
1 online resource (XI, 420 p. 118 illus., 6 illus. in color.)
File format
multiple file formats
Form of item
online
Isbn
9783642229442
Level of compression
uncompressed
Media category
computer
Media type code
c
Other control number
10.1007/978-3-642-22944-2
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (CKB)3400000000024013
  • (SSID)ssj0000609126
  • (PQKBManifestationID)11423332
  • (PQKBTitleCode)TC0000609126
  • (PQKBWorkID)10617691
  • (PQKB)11317551
  • (DE-He213)978-3-642-22944-2
  • (EXLCZ)993400000000024013
Label
Algebra and Coalgebra in Computer Science : 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings, edited by Andrea Corradini, Bartek Klin, Corina Cîrstea, (electronic resource)
Publication
Note
Bibliographic Level Mode of Issuance: Monograph
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Color
not applicable
Content category
text
Content type code
txt
Dimensions
unknown
Edition
1st ed. 2011.
Extent
1 online resource (XI, 420 p. 118 illus., 6 illus. in color.)
File format
multiple file formats
Form of item
online
Isbn
9783642229442
Level of compression
uncompressed
Media category
computer
Media type code
c
Other control number
10.1007/978-3-642-22944-2
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (CKB)3400000000024013
  • (SSID)ssj0000609126
  • (PQKBManifestationID)11423332
  • (PQKBTitleCode)TC0000609126
  • (PQKBWorkID)10617691
  • (PQKB)11317551
  • (DE-He213)978-3-642-22944-2
  • (EXLCZ)993400000000024013

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...