Verwandte Artikel zu Formal Modeling and Analysis of Timed Systems: 5th...
Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings: 4763 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers work on foundations and semantics of timed systems; examines techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints; and details applications like real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers work on foundations and semantics of timed systems; examines techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints; and details applications like real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 22,31
EUR 2,30 für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Formal Modeling and Analysis of Timed Systems: 5th...
Beispielbild für diese ISBN
Formal Modeling and Analysis of Timed Systems
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 386. Bestandsnummer des Verkäufers 18305039
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Formal Modeling and Analysis of Timed Systems
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 386 Illus. Bestandsnummer des Verkäufers 7542874
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Formal Modeling and Analysis of Timed Systems
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 386. Bestandsnummer des Verkäufers 26305029
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Formal Modeling And Analysis Of Timed Systems (Pb)
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-270290
Anzahl: 20 verfügbar
Beispielbild für diese ISBN
Formal Modeling And Analysis Of Timed Systems (Pb)
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Bestandsnummer des Verkäufers ABNR-77447
Anzahl: 5 verfügbar
Beispielbild für diese ISBN
Formal Modeling And Analysis Of Timed Systems (Pb)
Anbieter: SMASS Sellers, IRVING, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Bestandsnummer des Verkäufers ASNT3-77447
Anzahl: 5 verfügbar
Beispielbild für diese ISBN
FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS: 5TH INTERNATIONAL CONFERENCE, FORMATS 2007, SALZBURG, AUSTRIA, OCTOBER 3-5, 2007, PROCEEDINGS (LECTURE . COMPUTER SCIENCE AND GENERAL ISSUES)
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-270291
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Modeling and Analysis of Timed Systems
Verlag:
Springer Berlin Heidelberg, 2007
ISBN 10: 3540754539
ISBN 13: 9783540754534
Neu
Kartoniert / Broschiert
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Kartoniert / Broschiert. 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 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers work on foundations and semantics of timed systems examines techniques, algorithms, data structu. Bestandsnummer des Verkäufers 4900202
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Formal Modeling and Analysis of Timed Systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering. Bestandsnummer des Verkäufers 9783540754534
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Modeling and Analysis of Timed Systems
Verlag:
Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540754539
ISBN 13: 9783540754534
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 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers work on foundations and semantics of timed systems; examines techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints; and details applications like real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication. 384 pp. Englisch. Bestandsnummer des Verkäufers 9783540754534
Anzahl: 2 verfügbar