Inhaltsangabe
Developers of safety-critical systems and software lack methods for developing high quality real-time systems. The impact that these systems have on the quality and safety of human lives (for example in air traffic control systems and such like) give rise to a demand for rigorous approaches such as formal methods. Focusing on formal methods this book offers a complete coverage of new developments with emphasis on practical application. Starting with a survey of formal methods for real-time systems, topics include programme specification, formal methods, analyzing and design of real-time systems. The book is useful reading for developers of safety critical systems and researchers in the field.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Trends in Real-time Systems
Foto des Verkäufers
Formal Methods for Real-Time Computing
Anbieter: ZBK Books, Carlstadt, NJ, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: good. Fast & Free Shipping â" Good condition with a solid cover and clean pages. Shows normal signs of use such as light wear or a few marks highlighting, but overall a well-maintained copy ready to enjoy. Supplemental items like CDs or access codes may not be included. Bestandsnummer des Verkäufers ZWV.0471958352.G
Gebraucht kaufen
EUR 25,21
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Trends in Real-time Systems (Trends in Software, 5)
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Bestandsnummer des Verkäufers wbs1461565037
Gebraucht kaufen
EUR 23,26
EUR 7,89 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods for Real-Time Computing
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Bestandsnummer des Verkäufers Z1-F-030-01729
Gebraucht kaufen
EUR 22,43
EUR 12,27 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar