Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, ... Notes in Computer Science, Band 16143) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Quantitative Evaluation of Systems and Formal Modeling...
Beispielbild für diese ISBN
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
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 51424598-n
Neu kaufen
EUR 78,38
EUR 2,28 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (Paperback)
Verlag:
Springer Nature Switzerland AG, Cham, 2025
ISBN 10: 3032057914
ISBN 13: 9783032057914
Neu
Paperback
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: 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. Bestandsnummer des Verkäufers 9783032057914
Beispielbild für diese ISBN
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, ... (Lecture Notes in Computer Science)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9783032057914
Neu kaufen
EUR 80,98
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
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
Print-on-DemandAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 490 pages. 9.25x6.10x9.21 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __3032057914
Neu kaufen
EUR 71,61
EUR 14,49 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
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
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 51424598
Gebraucht kaufen
EUR 84,24
EUR 2,28 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
Verlag:
Springer, Springer Okt 2025, 2025
ISBN 10: 3032057914
ISBN 13: 9783032057914
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 524 pp. Englisch. Bestandsnummer des Verkäufers 9783032057914
Neu kaufen
EUR 70,61
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
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
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 51424598-n
Neu kaufen
EUR 77,55
EUR 17,38 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, . (Lecture Notes in Computer Science, 16143)
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 26404691568
Neu kaufen
EUR 95,10
EUR 3,45 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
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
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 51424598
Gebraucht kaufen
EUR 86,64
EUR 17,38 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, . (Lecture Notes in Computer Science, 16143)
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand. Bestandsnummer des Verkäufers 409511343
Neu kaufen
EUR 101,30
EUR 7,53 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar