Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 53,01
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Best Price, Torrance, CA, USA
EUR 48,33
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbZustand: New. SUPER FAST SHIPPING.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 52,33
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Verlag: Springer International Publishing AG, Cham, 2024
ISBN 10: 303168415X ISBN 13: 9783031684159
Sprache: Englisch
Anbieter: Grand Eagle Retail, Mason, OH, USA
EUR 72,73
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 2024. This year the 21th International Conference on Quantitative Evaluation of SysTems (QEST 2024) and the 22nd International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2024) joint forces and took place as part of the CONFEST 2024 umbrella conference. The 19 full papers presented in this book were carefully reviewed and selected from 33 submissions. They deal with up-to-date topics in quantitative evaluation and verification of systems, focusing on fundamental and practical aspects of systems with quantitative nature, such as probability, timing, and cost, and modeling, design and analysis of computational systems. This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 2024. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Anbieter: Best Price, Torrance, CA, USA
EUR 65,72
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbZustand: New. SUPER FAST SHIPPING.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 58,31
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 56,70
Währung umrechnenAnzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 58,30
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 78,84
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Books Puddle, New York, NY, USA
EUR 94,26
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 259.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 91,04
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 259.
Anbieter: Books Puddle, New York, NY, USA
EUR 97,38
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New.
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3319340956 ISBN 13: 9783319340951
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 77,96
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 272 pages. 9.25x6.10x0.62 inches. In Stock.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
EUR 101,39
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 259.
Verlag: Springer International Publishing, Springer International Publishing Jun 2016, 2016
ISBN 10: 3319340956 ISBN 13: 9783319340951
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016.SFM 2016 was devoted to the Quantitative Evaluation of Collective Adaptive Systems and covered topics such as self-organization in distributed systems, scalable quantitative analysis, spatio-temporal models, and aggregate programming.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.
Verlag: Springer International Publishing, 2016
ISBN 10: 3319340956 ISBN 13: 9783319340951
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016.SFM 2016 was devoted to the Quantitative Evaluation of Collective Adaptive Systems and covered topics such as self-organization in distributed systems, scalable quantitative analysis, spatio-temporal models, and aggregate programming.
Verlag: Springer International Publishing AG, Cham, 2024
ISBN 10: 303168415X ISBN 13: 9783031684159
Sprache: Englisch
Anbieter: CitiRetail, Stevenage, Vereinigtes Königreich
EUR 84,27
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 2024. This year the 21th International Conference on Quantitative Evaluation of SysTems (QEST 2024) and the 22nd International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2024) joint forces and took place as part of the CONFEST 2024 umbrella conference. The 19 full papers presented in this book were carefully reviewed and selected from 33 submissions. They deal with up-to-date topics in quantitative evaluation and verification of systems, focusing on fundamental and practical aspects of systems with quantitative nature, such as probability, timing, and cost, and modeling, design and analysis of computational systems. This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 2024. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Verlag: Springer Nature Switzerland, Springer Nature Switzerland Aug 2024, 2024
ISBN 10: 303168415X ISBN 13: 9783031684159
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 70,61
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 2024. This year the 21th International Conference on Quantitative Evaluation of SysTems (QEST 2024) and the 22nd International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2024) joint forces and took place as part of the CONFEST 2024 umbrella conference.The 19 full papers presented in this book were carefully reviewed and selected from 33 submissions. They deal with up-to-date topics in quantitative evaluation and verification of systems, focusing on fundamental and practical aspects of systems with quantitative nature, such as probability, timing, and cost, and modeling, design and analysis of computational systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.
Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 303168415X ISBN 13: 9783031684159
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 105,96
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 350 pages. 9.25x6.10x9.25 inches. In Stock.
Verlag: Springer Nature Switzerland, Springer International Publishing, 2024
ISBN 10: 303168415X ISBN 13: 9783031684159
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 70,61
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the First International Joint Conference onQuantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 2024. This year the 21th International Conference on Quantitative Evaluation of SysTems (QEST 2024) andthe 22nd International Conference on Formal Modeling and Analysis of TimedSystems (FORMATS 2024) joint forces and took place as part of the CONFEST 2024 umbrella conference.The 19 full papers presented in this book were carefully reviewed and selected from 33 submissions. They deal with up-to-date topics inquantitative evaluation and verification of systems, focusing on fundamental and practical aspects of systems with quantitative nature,such as probability, timing, and cost, and modeling, design and analysis ofcomputational systems.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 124,63
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Verlag: Springer International Publishing, 2016
ISBN 10: 3319340956 ISBN 13: 9783319340951
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 115,14
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 145,94
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Verlag: Springer International Publishing AG, Cham, 2024
ISBN 10: 303168415X ISBN 13: 9783031684159
Sprache: Englisch
Anbieter: AussieBookSeller, Truganina, VIC, Australien
EUR 118,02
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 2024. This year the 21th International Conference on Quantitative Evaluation of SysTems (QEST 2024) and the 22nd International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2024) joint forces and took place as part of the CONFEST 2024 umbrella conference. The 19 full papers presented in this book were carefully reviewed and selected from 33 submissions. They deal with up-to-date topics in quantitative evaluation and verification of systems, focusing on fundamental and practical aspects of systems with quantitative nature, such as probability, timing, and cost, and modeling, design and analysis of computational systems. This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 2024. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Verlag: Springer International Publishing Jun 2016, 2016
ISBN 10: 3319340956 ISBN 13: 9783319340951
Sprache: Englisch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016.SFM 2016 was devoted to the Quantitative Evaluation of Collective Adaptive Systems and covered topics such as self-organization in distributed systems, scalable quantitative analysis, spatio-temporal models, and aggregate programming. 272 pp. Englisch.
Verlag: Springer, Berlin, Springer Nature Switzerland, Springer, 2024
ISBN 10: 303168415X ISBN 13: 9783031684159
Sprache: Englisch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
EUR 70,61
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the First International Joint Conference onQuantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 2024. This year the 21th International Conference on Quantitative Evaluation of SysTems (QEST 2024) andthe 22nd International Conference on Formal Modeling and Analysis of TimedSystems (FORMATS 2024) joint forces and took place as part of the CONFEST 2024 umbrella conference.The 19 full papers presented in this book were carefully reviewed and selected from 33 submissions. They deal with up-to-date topics inquantitative evaluation and verification of systems, focusing on fundamental and practical aspects of systems with quantitative nature,such as probability, timing, and cost, and modeling, design and analysis ofcomputational systems. 338 pp. Englisch.
Verlag: Springer International Publishing, 2016
ISBN 10: 3319340956 ISBN 13: 9783319340951
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 47,23
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Original, readable and useful lecture notes written by leading expertsMade for students, researchers and practitionersA detailed preface, introducing the chapters, is included in the front matter and is freely availab.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 100,13
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
EUR 103,67
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. PRINT ON DEMAND.