Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,65
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 76,50
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 248 pages. 9.25x6.10x0.56 inches. In Stock.
Zustand: New.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2011
ISBN 10: 3642229433 ISBN 13: 9783642229435
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 79,44
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2011 edition. 420 pages. 9.21x6.06x0.94 inches. In Stock.
Sprache: Englisch
Verlag: Springer Nature Switzerland, Springer International Publishing Sep 2018, 2018
ISBN 10: 3030003884 ISBN 13: 9783030003883
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018, colocated with ETAPS 2018, held in Thessaloniki, Greece, in April 2018.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3030003884 ISBN 13: 9783030003883
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on CoalgebraicMethods in Computer Science, CMCS 2018, colocated with ETAPS 2018, held in Thessaloniki, Greece, in April 2018.The 10 revised full papers were carefully reviewed and selected from 17 submissions. Also included are the extended abstracts of two keynotes/invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.
Taschenbuch. Zustand: Neu. Coalgebraic Methods in Computer Science | 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers | Corina Cîrstea | Taschenbuch | Lecture Notes in Computer Science | ix | Englisch | 2018 | Springer | EAN 9783030003883 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer, Berlin, Springer, 2011
ISBN 10: 3642229433 ISBN 13: 9783642229435
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Neuware - 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.
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 419 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.