Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Trends in Real-time Systems
Immagini fornite dal venditore
Formal Methods for Real-Time Computing
Da: ZBK Books, Carlstadt, NJ, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo ZWV.0471958352.G
Compra usato
EUR 25,22
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Trends in Real-time Systems (Trends in Software, 5)
Editore:
John Wiley & Sons Ltd, 1996
ISBN 10: 0471958352
ISBN 13: 9780471958352
Antico o usato
Brossura
Da: WeBuyBooks, Rossendale, LANCS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo wbs1461565037
Compra usato
EUR 24,64
Spedizione EUR 7,88
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Methods for Real-Time Computing
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo Z1-F-030-01729
Compra usato
EUR 23,88
Spedizione EUR 12,26
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili