Articoli correlati a Runtime Verification: 4th International Conference,...
Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings: 8174 - Brossura
Sinossi
This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. The papers address a wide range of specification languages and formalisms for traces; specification mining; program instrumentation; monitor construction techniques; logging, recording, and replay; fault detection, localization, recovery, and repair; program steering and adaptation; as well as metrics and statistical information gathering; combination of static and dynamic analyses and program execution visualization.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Dalla quarta di copertina
This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013.
The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. The papers address a wide range of specification languages and formalisms for traces; specification mining; program instrumentation; monitor construction techniques; logging, recording, and replay; fault detection, localization, recovery, and repair; program steering and adaptation; as well as metrics and statistical information gathering; combination of static and dynamic analyses and program execution visualization.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 48,37
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Runtime Verification: 4th International Conference,...
Foto dell'editore
Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings (Programming and Software En
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: Très bon. Edition 2013. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Edition 2013. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo F-670-546
Quantità: 1 disponibili
Foto dell'editore
Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
Editore:
Springer Berlin Heidelberg, 2013
ISBN 10: 3642407862
ISBN 13: 9783642407864
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Codice articolo 24111778/12
Quantità: 1 disponibili
Immagini fornite dal venditore
Runtime Verification
Editore:
Springer Berlin Heidelberg, 2013
ISBN 10: 3642407862
ISBN 13: 9783642407864
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Kartoniert / Broschiert. Condizione: 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 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutoria. Codice articolo 5059749
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Runtime Verification
Editore:
Springer Berlin Heidelberg Aug 2013, 2013
ISBN 10: 3642407862
ISBN 13: 9783642407864
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. The papers address a wide range of specification languages and formalisms for traces; specification mining; program instrumentation; monitor construction techniques; logging, recording, and replay; fault detection, localization, recovery, and repair; program steering and adaptation; as well as metrics and statistical information gathering; combination of static and dynamic analyses and program execution visualization. 444 pp. Englisch. Codice articolo 9783642407864
Quantità: 2 disponibili
Immagini fornite dal venditore
Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
Editore:
Springer Berlin Heidelberg, 2013
ISBN 10: 3642407862
ISBN 13: 9783642407864
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. The papers address a wide range of specification languages and formalisms for traces; specification mining; program instrumentation; monitor construction techniques; logging, recording, and replay; fault detection, localization, recovery, and repair; program steering and adaptation; as well as metrics and statistical information gathering; combination of static and dynamic analyses and program execution visualization. Codice articolo 9783642407864
Quantità: 1 disponibili
Immagini fornite dal venditore
Runtime Verification
ISBN 10: 3642407862
ISBN 13: 9783642407864
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. The papers address a wide range of specification languages and formalisms for traces; specification mining; program instrumentation; monitor construction techniques; logging, recording, and replay; fault detection, localization, recovery, and repair; program steering and adaptation; as well as metrics and statistical information gathering; combination of static and dynamic analyses and program execution visualization.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch. Codice articolo 9783642407864
Quantità: 2 disponibili
Foto dell'editore
Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings (Programming and Software Engineering)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783642407864_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Runtime Verification : 4th International Conference, Rv 2013, Rennes, France, September 24-27, 2013, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 20080338-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Runtime Verification : 4th International Conference, Rv 2013, Rennes, France, September 24-27, 2013, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 20080338-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Runtime Verification : 4th International Conference, Rv 2013, Rennes, France, September 24-27, 2013, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 20080338
Quantità: Più di 20 disponibili