Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings: 4624 (Lecture Notes in Computer Science, 4624) - Softcover
Synopsis
A double-pronged approach makes this book an extremely useful addition to the literature on this highly relevant contemporary topic. Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context of their application in computer science - the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book is the refereed proceedings of the second CALCO conference, held in August 2007 in Norway.
"synopsis" may belong to another edition of this title.
Product Description
Rare Book
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Algebra and Coalgebra in Computer Science: Second Internatio...
Stock Image
Algebra and Coalgebra in Computer Science. Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings.
Published by
Berlin/ Heidelberg, Springer Berlin., 2007
ISBN 10: 3540738576
ISBN 13: 9783540738572
Used
Softcover
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Seller rating 5 out of 5 stars
2007. 16 x 24 cm. XI, 463 S. XI, 463 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. (Lecture Notes in Computer Science; Theoretical Computer Science and General Issues). Sprache: Englisch. Seller Inventory # 319ZB
Stock Image
Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings (Lecture Notes in Computer Science, 4624)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020176020
Seller Image
Algebra and Coalgebra in Computer Science : Second International Conference, Calco 2007, Bergen, Norway, August 20-24, 2007, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 6429331-n
Stock Image
Algebra and Coalgebra in Computer Science (Paperback)
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2007
ISBN 10: 3540738576
ISBN 13: 9783540738572
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. A double-pronged approach makes this book an extremely useful addition to the literature on this highly relevant contemporary topic. Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context of their application in computer science - the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book is the refereed proceedings of the second CALCO conference, held in August 2007 in Norway. Constitutes the refereed proceedings of the Second International Conference on Algebra and Coalgebra in Computer Science, CALCO 2007, held in Bergen, Norway in August 2007. This work covers topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783540738572
Seller Image
Algebra and Coalgebra in Computer Science : Second International Conference, Calco 2007, Bergen, Norway, August 20-24, 2007, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 6429331
Stock Image
Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings (Lecture Notes in Computer Science, 4624)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783540738572
Stock Image
Algebra and Coalgebra in Computer Science
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 484. Seller Inventory # 26301277
Stock Image
Algebra and Coalgebra in Computer Science
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. pp. 484 Illus. Seller Inventory # 7546626
Buy New
£ 53.09
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings (Lecture Notes in Computer Science, 4624)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540738572_new
Buy New
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Algebra and Coalgebra in Computer Science
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. pp. 484. Seller Inventory # 18301271