Order Total (1 Item Items):
Shipping Destination:
Quantitative Evaluation Systems Formal (49 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (49)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (41)
- As New, Fine or Near Fine (8)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (49)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (19)
- Not Print on Demand (32)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, ... (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
-
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (Paperback)
Language: English
Published by Springer Nature Switzerland AG, Cham, 2025
ISBN 10: 3032057914 ISBN 13: 9783032057914
Paperback. Condition: new. Paperback. This book constitutes the proceedings of the Second International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2025, which took place in Aarhus, Denmark, during August 2025.The 26 full papers included in these proceedings were carefully reviewed and selected from 57 submissions. They focus on up to date research in quantitative evaluation of systems and formal modeling and analysis of timed systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
-
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : First International Joint Conference, Qest+formats 2024, Calgary, Ab, Canada, September 9?13, 2024, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, ... (Lecture Notes in Computer Science, 14996)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 66.16
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : Second International Joint Conference, Qest+formats 2025, Aarhus, Denmark, August 26?28, 2025, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
-
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : First International Joint Conference, Qest+formats 2024, Calgary, Ab, Canada, September 9?13, 2024, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : Second International Joint Conference, Qest+formats 2025, Aarhus, Denmark, August 26?28, 2025, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
-
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2016, Bertinoro, Italy, June 20-24, 2
Language: English
Published by Springer-Verlag New York Inc, 2016
ISBN 10: 3319340956 ISBN 13: 9783319340951
Paperback. Condition: Brand New. 272 pages. 9.25x6.10x0.62 inches. In Stock.
-
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Language: English
Published by Springer International Publishing, 2016
ISBN 10: 3319340956 ISBN 13: 9783319340951
Taschenbuch. Condition: 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.
-
Taschenbuch. Condition: Neu. Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems | 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures | Marco Bernardo (u. a.) | Taschenbuch | Lecture Notes in Computer Science | vii | Englisch | 2016 | Springer | EAN 9783319340951 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, Qest+formats 2025, Aarhus, Denmark, August 2628, 2025, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2025
ISBN 10: 3032057914 ISBN 13: 9783032057914
Paperback. Condition: Brand New. 490 pages. 9.25x6.10x9.21 inches. In Stock.
-
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, Qest+formats 2024, Calgary, Ab, Canada, September 913, 2024, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2024
ISBN 10: 303168415X ISBN 13: 9783031684159
Paperback. Condition: Brand New. 350 pages. 9.25x6.10x9.25 inches. In Stock.
-
-
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
Language: English
Published by Springer Verlag GmbH, 2025
ISBN 10: 3032057914 ISBN 13: 9783032057914
Condition: New.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the Second International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2025, which took place in Aarhus, Denmark, during August 2025.The 26 full papers included in these proceedings were carefully reviewed and selected from 57 submissions. They focus on up to date research in quantitative evaluation of systems and formal modeling and analysis of timed systems.
-
Taschenbuch. Condition: Neu. Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems | Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings | Pavithra Prabhakar (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2025 | Springer | EAN 9783032057914 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 104.99
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Paperback. Condition: Like New. Like New. book.
-
Taschenbuch. Condition: 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.
-
Taschenbuch. Condition: Neu. Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems | First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings | Jane Hillston (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2024 | Springer | EAN 9783031684159 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
