Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 53,69
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 58,42
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 60,51
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 60,50
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 63,92
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Condizione: New. pp. 376.
Lingua: Inglese
Editore: Springer Nature Switzerland Ag, 2026
ISBN 10: 3032227291 ISBN 13: 9783032227294
Da: Revaluation Books, Exeter, Regno Unito
EUR 77,84
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 677 pages. 6.14x1.37x9.21 inches. In Stock.
Da: Revaluation Books, Exeter, Regno Unito
EUR 79,69
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2013 edition. 372 pages. 9.00x6.00x0.75 inches. In Stock.
Lingua: Inglese
Editore: Springer, Palgrave Macmillan, 2026
ISBN 10: 3032227291 ISBN 13: 9783032227294
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 42,79
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the proceedings of the 29th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11 16, 2026.The 30 papers included in these proceedings were carefully reviewed and selected from 104 submissions. They focus on foundational research in software science on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2013
ISBN 10: 3642402054 ISBN 13: 9783642402050
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Lingua: Inglese
Editore: Cambridge University Press, 2025
ISBN 10: 1108835465 ISBN 13: 9781108835466
Da: Books From California, Simi Valley, CA, U.S.A.
hardcover. Condizione: Fine.
Da: Buchpark, Trebbin, Germania
EUR 37,99
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Zustand: Sehr gut | Seiten: 376 | Sprache: Englisch | Produktart: Bücher | 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.
Lingua: Inglese
Editore: Cambridge University Press, 2025
ISBN 10: 1108835465 ISBN 13: 9781108835466
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 191,24
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: Cambridge University Press CUP, 2025
ISBN 10: 1108835465 ISBN 13: 9781108835466
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. 1st edition NO-PA16APR2015-KAP.
Lingua: Inglese
Editore: Cambridge University Press, 2025
ISBN 10: 1108835465 ISBN 13: 9781108835466
Da: Majestic Books, Hounslow, Regno Unito
EUR 194,19
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 2025
ISBN 10: 1108835465 ISBN 13: 9781108835466
Da: California Books, Miami, FL, U.S.A.
EUR 203,17
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 2025
ISBN 10: 1108835465 ISBN 13: 9781108835466
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 194,71
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Lingua: Inglese
Editore: Cambridge University Press, 2025
ISBN 10: 1108835465 ISBN 13: 9781108835466
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 208,90
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Cambridge University Press, 2025
ISBN 10: 1108835465 ISBN 13: 9781108835466
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 195,44
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 2025
ISBN 10: 1108835465 ISBN 13: 9781108835466
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 194,70
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 2025
ISBN 10: 1108835465 ISBN 13: 9781108835466
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 216,56
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Cambridge University Press, 2025
ISBN 10: 1108835465 ISBN 13: 9781108835466
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 221,79
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 2025
ISBN 10: 1108835465 ISBN 13: 9781108835466
Da: Kennys Bookstore, Olney, MD, U.S.A.
EUR 278,91
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 2025
ISBN 10: 1108835465 ISBN 13: 9781108835466
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 257,82
Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Providing an in-depth treatment of an exciting research area, this text's central topics are initial algebras and terminal coalgebras, primary objects of study in all areas of theoretical computer science connected to semantics. It contains a thorough presentation of iterative constructions, giving both classical and new results on terminal coalgebras obtained by limits of canonical chains, and initial algebras obtained by colimits. These constructions are also developed in enriched settings, especially those enriched over complete partial orders and complete metric spaces, connecting the book to topics like domain theory. Also included are an extensive treatment of set functors, and the first book-length presentation of the rational fixed point of a functor, and of lifting results which connect fixed points of set functors with fixed points of endofunctors on other categories. Representing more than fifteen years of work, this will be the leading text on the subject for years to come.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 46,22
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Lingua: Inglese
Editore: Springer Nature Switzerland AG, Cham, 2026
ISBN 10: 3032227291 ISBN 13: 9783032227294
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condizione: new. Paperback. This open access book constitutes the proceedings of the 29th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 1116, 2026.The 30 papers included in these proceedings were carefully reviewed and selected from 104 submissions. They focus on foundational research in software science on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Lingua: Inglese
Editore: Springer Nature Switzerland AG Jun 2026, 2026
ISBN 10: 3032227291 ISBN 13: 9783032227294
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 42,79
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access book constitutes the proceedings of the 29th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11 16, 2026.The 30 papers included in these proceedings were carefully reviewed and selected from 104 submissions. They focus on foundational research in software science on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. 647 pp. Englisch.
Da: Majestic Books, Hounslow, Regno Unito
EUR 70,47
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Aug 2013, 2013
ISBN 10: 3642402054 ISBN 13: 9783642402050
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 376 pp. Englisch.