Verwandte Artikel zu Formal Modeling and Analysis of Timed Systems: 21st...
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings (Lecture Notes in Computer Science, Band 14138) - Softcover
Inhaltsangabe
This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain one invited paper in full paper length.
The papers deal with real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics, and verification of real-timed, hybrid, and probabilistic systems.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Formal Modeling and Analysis of Timed Systems: 21st...
Beispielbild für diese ISBN
Formal Modeling and Analysis of Timed Systems (eng)
Print-on-DemandAnbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 5 von 5 Sternen
Zustand: new. Questo è un articolo print on demand. Bestandsnummer des Verkäufers 0YUKXNJGOT
Neu kaufen
EUR 50,23
EUR 5,50 Versand
Versand von Italien nach USA
Versand von Italien nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings (Lecture Notes in Computer Science, 14138)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9783031426254
Neu kaufen
EUR 70,84
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings (Lecture Notes in Computer Science, 14138)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In English. Bestandsnummer des Verkäufers ria9783031426254_new
Neu kaufen
EUR 67,17
EUR 10,93 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Formal Modeling and Analysis of Timed Systems
ISBN 10: 3031426258
ISBN 13: 9783031426254
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 refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain one invited paper in full paper length.The papers deal withreal-time issues in hardware design, performance analysis, real-time software, scheduling, semantics, and verification of real-timed,hybrid, and probabilistic systems. 196 pp. Englisch. Bestandsnummer des Verkäufers 9783031426254
Neu kaufen
EUR 58,84
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Formal Modeling and Analysis of Timed Systems: 21st International Conference, Formats 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 195 pages. 9.25x6.10x0.42 inches. In Stock. Bestandsnummer des Verkäufers x-3031426258
Neu kaufen
EUR 84,91
EUR 11,66 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Formal Modeling and Analysis of Timed Systems
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed. Bestandsnummer des Verkäufers 959198584
Neu kaufen
EUR 52,76
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Formal Modeling and Analysis of Timed Systems : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain one invited paper in full paper length.The papers deal withreal-time issues in hardware design, performance analysis, real-time software, scheduling, semantics, and verification of real-timed,hybrid, and probabilistic systems. Bestandsnummer des Verkäufers 9783031426254
Neu kaufen
EUR 84,41
EUR 30,50 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Modeling and Analysis of Timed Systems
Verlag:
Springer, Springer Aug 2023, 2023
ISBN 10: 3031426258
ISBN 13: 9783031426254
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain one invited paper in full paper length.The papers deal withreal-time issues in hardware design, performance analysis, real-time software, scheduling, semantics, and verification of real-timed,hybrid, and probabilistic systems.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 196 pp. Englisch. Bestandsnummer des Verkäufers 9783031426254
Neu kaufen
EUR 58,84
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Modeling and Analysis of Timed Systems | 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Formal Modeling and Analysis of Timed Systems | 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings | Laure Petrucci (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2023 | Springer | EAN 9783031426254 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Bestandsnummer des Verkäufers 127335709
Neu kaufen
EUR 54,90
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar
Beispielbild für diese ISBN
Formal Modeling and Analysis of Timed Systems : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain one invited paper in full paper length. The papers deal with real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics, and verification of real-timed, hybrid, and probabilistic systems. Bestandsnummer des Verkäufers 42233349/1
Gebraucht kaufen
EUR 45,04
EUR 105,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 4 verfügbar