Compositional verification concurrent real time von juan eric (21 Ergebnisse)
Sprache: Englisch
Verlag: Kluwer Academic Publishers, Boston. 2002
Serie: The Springer International Series in Engineering and Computer Science, Buch 86 von 260. Buch 86 von 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Anbieter: Tiber Books, Cockeysville, MD, USATiber Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Gut
EUR 84,47
EUR 4,79 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: Very Good. 8vo, hardcover. No dj. Vg+ condition. Single non-circulating ex-lib stamp & label on 2 early pgs (only markings), contents bright, crisp & clean, virtually unopened. xvii, 196 p.
Sprache: Englisch
Verlag: Springer 2002
Serie: The Springer International Series in Engineering and Computer Science, Buch 86 von 260. Buch 86 von 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 114,98
EUR 13,80 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer 2012
Serie: The Springer International Series in Engineering and Computer Science, Buch 86 von 260. Buch 86 von 260 - The Springer International Series in Engineering and Computer Science
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 114,98
EUR 13,80 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer 2002
Serie: The Springer International Series in Engineering and Computer Science, Buch 86 von 260. Buch 86 von 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 130,26
EUR 2,30 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Springer 2002
Serie: The Springer International Series in Engineering and Computer Science, Buch 86 von 260. Buch 86 von 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 114,97
EUR 17,28 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Springer 2002
Serie: The Springer International Series in Engineering and Computer Science, Buch 86 von 260. Buch 86 von 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 144,36
EUR 3,48 VersandVersand innerhalb von USAAnzahl: 4 verfügbar
Zustand: New. pp. 220.
Sprache: Englisch
Verlag: Springer 2012
Serie: The Springer International Series in Engineering and Computer Science, Buch 86 von 260. Buch 86 von 260 - The Springer International Series in Engineering and Computer Science
- Softcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 146,47
EUR 3,48 VersandVersand innerhalb von USAAnzahl: 4 verfügbar
Zustand: New. pp. 220.
Weitere BilderSprache: Englisch
Verlag: Springer 2012
Serie: The Springer International Series in Engineering and Computer Science, Buch 86 von 260. Buch 86 von 260 - The Springer International Series in Engineering and Computer Science
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 95,70
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Compositional Verification of Concurrent and Real-Time Systems | Eric Y. T. Juan (u. a.) | Taschenbuch | xix | Englisch | 2012 | Springer | EAN 9781461353492 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbiet…er: preigu.
Sprache: Englisch
Verlag: Springer US 2002
Serie: The Springer International Series in Engineering and Computer Science, Buch 86 von 260. Buch 86 von 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Anbieter: moluna, Greven, , Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 118,64
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Gebunden. Zustand: New. With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-critical systems such as flight contro.
Sprache: Englisch
Verlag: Springer 2002
Serie: The Springer International Series in Engineering and Computer Science, Buch 86 von 260. Buch 86 von 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 176,82
EUR 17,28 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Springer 2012
Serie: The Springer International Series in Engineering and Computer Science, Buch 86 von 260. Buch 86 von 260 - The Springer International Series in Engineering and Computer Science
- Softcover
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Wie neu
EUR 167,34
EUR 28,81 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Like New. Like New. book.
Sprache: Englisch
Verlag: Springer 2002
Serie: The Springer International Series in Engineering and Computer Science, Buch 86 von 260. Buch 86 von 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Wie neu
EUR 167,34
EUR 28,81 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Like New. Like New. book.
Sprache: Englisch
Verlag: Springer 2002
Serie: The Springer International Series in Engineering and Computer Science, Buch 86 von 260. Buch 86 von 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 200,02
EUR 2,30 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Springer Us Apr 2002 2002
Serie: The Springer International Series in Engineering and Computer Science, Buch 86 von 260. Buch 86 von 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 162,93
EUR 62,50 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Neuware - With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, a…ircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on. Failure of safety-critical systems could result in great disasters and loss of human life. Therefore, software used for safety critical systems should preserve high assurance properties. In order to comply with high assurance properties, a safety-critical system often shares resources between multiple concurrently active computing agents and must meet rigid real-time constraints. However, concurrency and timing constraints make the development of a safety-critical system much more error prone and arduous. The correctness of software systems nowadays depends mainly on the work of testing and debugging. Testing and debugging involve the process of de tecting, locating, analyzing, isolating, and correcting suspected faults using the runtime information of a system. However, testing and debugging are not sufficient to prove the correctness of a safety-critical system. In contrast, static analysis is supported by formalisms to specify the system precisely. Formal verification methods are then applied to prove the logical correctness of the system with respect to the specification. Formal verifica tion gives us greater confidence that safety-critical systems meet the desired assurance properties in order to avoid disastrous consequences.
Sprache: Englisch
Verlag: Springer 2012
Serie: The Springer International Series in Engineering and Computer Science, Buch 86 von 260. Buch 86 von 260 - The Springer International Series in Engineering and Computer Science
- Softcover
- Print-on-Demand
Anbieter: Brook Bookstore On Demand, Napoli, NA, ItalienBrook Bookstore On Demand
Verkäufer/-in kontaktierenVerkäufer/-in mit 3 SternenZustand: Neu
EUR 86,24
EUR 5,50 VersandVersand von Italien nach USAAnzahl: Mehr als 20 verfügbar
Zustand: new. Questo è un articolo print on demand.
Sprache: Englisch
Verlag: Springer US 2012
Serie: The Springer International Series in Engineering and Computer Science, Buch 86 von 260. Buch 86 von 260 - The Springer International Series in Engineering and Computer Science
- Softcover
- Print-on-Demand
Anbieter: moluna, Greven, , Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 92,27
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-…critical systems such as flight contro.
Sprache: Englisch
Verlag: Springer 2002
Serie: The Springer International Series in Engineering and Computer Science, Buch 86 von 260. Buch 86 von 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
- Print-on-Demand
Anbieter: Majestic Books, Hounslow, , Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 150,78
EUR 7,49 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
Zustand: New. Print on Demand pp. 220 Illus.
Sprache: Englisch
Verlag: Springer 2012
Serie: The Springer International Series in Engineering and Computer Science, Buch 86 von 260. Buch 86 von 260 - The Springer International Series in Engineering and Computer Science
- Softcover
- Print-on-Demand
Anbieter: Majestic Books, Hounslow, , Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 153,56
EUR 7,49 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
Zustand: New. Print on Demand pp. 220 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Sprache: Englisch
Verlag: Springer 2002
Serie: The Springer International Series in Engineering and Computer Science, Buch 86 von 260. Buch 86 von 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
- Print-on-Demand
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 151,11
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 4 verfügbar
Zustand: New. PRINT ON DEMAND pp. 220.
Sprache: Englisch
Verlag: Springer 2012
Serie: The Springer International Series in Engineering and Computer Science, Buch 86 von 260. Buch 86 von 260 - The Springer International Series in Engineering and Computer Science
- Softcover
- Print-on-Demand
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 151,29
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 4 verfügbar
Zustand: New. PRINT ON DEMAND pp. 220.
Sprache: Englisch
Verlag: Springer, Springer Okt 2012 2012
Serie: The Springer International Series in Engineering and Computer Science, Buch 86 von 260. Buch 86 von 260 - The Springer International Series in Engineering and Computer Science
- Softcover
- Print-on-Demand
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 106,99
EUR 60,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-critical systems su…ch as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on. Failure of safety-critical systems could result in great disasters and loss of human life. Therefore, software used for safety critical systems should preserve high assurance properties. In order to comply with high assurance properties, a safety-critical system often shares resources between multiple concurrently active computing agents and must meet rigid real-time constraints. However, concurrency and timing constraints make the development of a safety-critical system much more error prone and arduous. The correctness of software systems nowadays depends mainly on the work of testing and debugging. Testing and debugging involve the process of de tecting, locating, analyzing, isolating, and correcting suspected faults using the runtime information of a system. However, testing and debugging are not sufficient to prove the correctness of a safety-critical system. In contrast, static analysis is supported by formalisms to specify the system precisely. Formal verification methods are then applied to prove the logical correctness of the system with respect to the specification. Formal verifica tion gives us greater confidence that safety-critical systems meet the desired assurance properties in order to avoid disastrous consequences.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 220 pp. Englisch.
