Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, Nov. 10 (weekend sale item)* 413 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Anbieter: Brook Bookstore, Milano, MI, Italien
Zustand: new.
Anbieter: Brook Bookstore, Milano, MI, Italien
Zustand: new.
Anbieter: Books From California, Simi Valley, CA, USA
paperback. Zustand: Very Good.
Verlag: Springer Nature Switzerland AG, 2022
ISBN 10: 3030992527 ISBN 13: 9783030992521
Sprache: Englisch
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 43,60
Anzahl: 10 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 3031572300 ISBN 13: 9783031572302
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 41,00
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 288 pages. 9.25x6.10x9.33 inches. In Stock.
Zustand: Sehr gut. Auflage: 2000. 408 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 518 23,4 x 15,5 x 2,3 cm, Taschenbuch.
Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 3031572270 ISBN 13: 9783031572272
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 72,53
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 296 pages. 9.25x6.10x9.21 inches. In Stock.
Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 3031572300 ISBN 13: 9783031572302
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 74,15
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 288 pages. 9.25x6.10x9.33 inches. In Stock.
Verlag: Springer-Nature New York Inc, 2025
ISBN 10: 3031908961 ISBN 13: 9783031908965
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 74,99
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 436 pages. 9.26x6.11x9.25 inches. In Stock.
Verlag: Springer-Nature New York Inc, 2023
ISBN 10: 303130828X ISBN 13: 9783031308284
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 76,88
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 576 pages. 9.25x6.10x1.17 inches. In Stock.
Verlag: Springer, Berlin|Springer Nature Switzerland|ETAPS Society|Springer, 2024
ISBN 10: 3031572300 ISBN 13: 9783031572302
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 39,60
Anzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
Verlag: Springer, Berlin|Springer Nature Switzerland|ETAPS Society|Springer, 2024
ISBN 10: 3031572270 ISBN 13: 9783031572272
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 39,60
Anzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 78,19
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 660 pages. 9.25x6.10x1.49 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 77,09
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 550 pages. 9.25x6.10x1.34 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 80,97
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 390 pages. 9.25x6.25x1.00 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 82,05
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2013 edition. 474 pages. 9.25x6.25x1.00 inches. In Stock.
Verlag: Springer-Verlag New York Inc, 2019
ISBN 10: 3030171264 ISBN 13: 9783030171261
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 90,15
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 550 pages. 9.25x6.10x1.22 inches. In Stock.
Verlag: Springer-Verlag New York Inc, 2018
ISBN 10: 3319893653 ISBN 13: 9783319893655
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 90,78
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 600 pages. 9.25x6.10x1.85 inches. In Stock.
Verlag: Springer Nature Switzerland, Springer International Publishing Apr 2024, 2024
ISBN 10: 3031572300 ISBN 13: 9783031572302
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.
Verlag: Springer Nature Switzerland, Springer Nature Switzerland Apr 2024, 2024
ISBN 10: 3031572270 ISBN 13: 9783031572272
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.
Verlag: Springer Nature Switzerland, Springer Nature Switzerland Apr 2023, 2023
ISBN 10: 303130828X ISBN 13: 9783031308284
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 576 pp. Englisch.
Verlag: Springer International Publishing, Springer International Publishing Mär 2022, 2022
ISBN 10: 3030992527 ISBN 13: 9783030992521
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Mär 2021, 2021
ISBN 10: 3030719944 ISBN 13: 9783030719944
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This open access book constitutes the proceedings of the 24th International 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 592 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Apr 2020, 2020
ISBN 10: 3030452301 ISBN 13: 9783030452308
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -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.¿Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 660 pp. Englisch.
Verlag: Springer Nature Switzerland, 2024
ISBN 10: 3031572300 ISBN 13: 9783031572302
Sprache: Englisch
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.
Verlag: Springer Nature Switzerland, 2024
ISBN 10: 3031572270 ISBN 13: 9783031572272
Sprache: Englisch
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.
Verlag: Springer Nature Switzerland, Springer International Publishing, 2025
ISBN 10: 3031908961 ISBN 13: 9783031908965
Sprache: Englisch
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.
Verlag: Springer International Publishing, Springer International Publishing, 2022
ISBN 10: 3030992527 ISBN 13: 9783030992521
Sprache: Englisch
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.
Verlag: Springer Nature Switzerland, 2023
ISBN 10: 303130828X ISBN 13: 9783031308284
Sprache: Englisch
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.