Anbieter: Brook Bookstore, Milano, MI, Italien
Zustand: new.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,99
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: World Scientific Pub Co Inc, 2014
ISBN 10: 9814612871 ISBN 13: 9789814612876
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Sprache: Englisch
Verlag: World Scientific Pub Co Inc, 2015
ISBN 10: 9814725978 ISBN 13: 9789814725972
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2012
ISBN 10: 4431541055 ISBN 13: 9784431541059
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 76,14
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2012 edition. 213 pages. 9.00x6.00x0.50 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2013
ISBN 10: 4431544356 ISBN 13: 9784431544357
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 77,48
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2013 edition. 315 pages. 9.00x6.00x0.75 inches. In Stock.
Sprache: Englisch
Verlag: Springer Nature Switzerland Ag, 2026
ISBN 10: 3032227291 ISBN 13: 9783032227294
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 76,58
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 677 pages. 6.14x1.37x9.21 inches. In Stock.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 84,40
Anzahl: 3 verfügbar
In den WarenkorbZustand: New.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 80,04
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2013 edition. 474 pages. 9.25x6.25x1.00 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 93,65
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 216 pages. 9.69x6.85x0.59 inches. In Stock.
Sprache: Englisch
Verlag: World Scientific Pub Co Inc, 2014
ISBN 10: 9814612871 ISBN 13: 9789814612876
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 98,75
Anzahl: 1 verfügbar
In den WarenkorbZustand: Used. pp. 266.
Sprache: Englisch
Verlag: Springer Nature Switzerland, 2024
ISBN 10: 3031572300 ISBN 13: 9783031572302
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the27th International Conference onFoundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows:Part I: Infinite games; categorical semantics; automata and synthesis;Part II: Types and programming languages; logic and proofs; infinite-state systems.
Sprache: Englisch
Verlag: Springer Nature Switzerland, 2024
ISBN 10: 3031572270 ISBN 13: 9783031572272
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the27th International Conference onFoundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows:Part I: Infinite games; categorical semantics; automata and synthesis;Part II: Types and programming languages; logic and proofs; infinite-state systems.
Sprache: Englisch
Verlag: Springer Nature Switzerland, Springer International Publishing, 2025
ISBN 10: 3031908961 ISBN 13: 9783031908965
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada, during May 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025.The 19 papers included in these proceedings were carefully reviewed and selected from 58 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.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 95,35
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2022
ISBN 10: 3030992527 ISBN 13: 9783030992521
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Sprache: Englisch
Verlag: Springer Nature Switzerland, 2023
ISBN 10: 303130828X ISBN 13: 9783031308284
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Sprache: Englisch
Verlag: Springer International Publishing, 2021
ISBN 10: 3030719944 ISBN 13: 9783030719944
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the proceedings of the 24thInternational Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Sprache: Englisch
Verlag: Springer International Publishing, 2020
ISBN 10: 3030452301 ISBN 13: 9783030452308
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions.The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.
Sprache: Englisch
Verlag: Springer, Palgrave Macmillan, 2026
ISBN 10: 3032227291 ISBN 13: 9783032227294
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 97,48
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: World Scientific Pub Co Inc, 2015
ISBN 10: 9814725978 ISBN 13: 9789814725972
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 103,84
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 160.
Sprache: Englisch
Verlag: World Scientific Publishing Co Pte Ltd, 2014
ISBN 10: 9814612871 ISBN 13: 9789814612876
Anbieter: PBShop.store US, Wood Dale, IL, USA
HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Taschenbuch. Zustand: Neu. Foundations of Software Science and Computation Structures | 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings | Patricia Bouyer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2022 | Springer | EAN 9783030992521 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Foundations of Software Science and Computation Structures | 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings | Orna Kupferman (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2023 | Springer | EAN 9783031308284 | 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: World Scientific Pub Co Inc, 2014
ISBN 10: 9814612871 ISBN 13: 9789814612876
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: Used. pp. 266.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Foundations of Software Science and Computation Structures | 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings | Stefan Kiefer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xv | Englisch | 2021 | Springer | EAN 9783030719944 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Foundations of Software Science and Computation Structures | 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I | Naoki Kobayashi (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2024 | Springer | EAN 9783031572272 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Foundations of Software Science and Computation Structures | 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings | Parosh Aziz Abdulla (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2025 | Springer | EAN 9783031908965 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Foundations of Software Science and Computation Structures | 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings | Jean Goubault-Larrecq (u. a.) | Taschenbuch | xv | Englisch | 2020 | Springer | EAN 9783030452308 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.