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.
Rare Book
"About this title" may belong to another edition of this title.
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
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
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition. Seller Inventory # 6429331
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In. Seller Inventory # ria9783540738572_new
Quantity: Over 20 available
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New. Seller Inventory # 6429331-n
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 484 pp. Englisch. Seller Inventory # 9783540738572
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. 484. Seller Inventory # 26301277
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand pp. 484 Illus. Seller Inventory # 7546626
Quantity: 4 available
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 1st edition. 463 pages. 9.20x6.10x1.10 inches. In Stock. Seller Inventory # x-3540738576
Quantity: 2 available
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND pp. 484. Seller Inventory # 18301271
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Two-pronged approach tackles algebras and coalgebras as mathematical objects as well as in the context of their application in computer sciencePapers cover topics including abstract models and logics, and specialized models and calculiOnlin. Seller Inventory # 4899806
Quantity: Over 20 available