Articoli correlati a Lectures on Runtime Verification: Introductory and...
Sinossi
The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of concurrency errors, monitoring events that carry data, runtime error reaction and prevention, monitoring of cyber-physical systems, runtime verification for decentralized and distributed systems and an industrial application of runtime verification techniques in financial transaction systems.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull'autore
Editors: Ezio Bartocci, TU Wien, Austria and Yliès Falcone, University of Grenoble Alpes, France.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Lectures on Runtime Verification: Introductory and...
Foto dell'editore
Lectures on Runtime Verification (eng)
Print on DemandDa: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 5 su 5 stelle
Condizione: new. Questo è un articolo print on demand. Codice articolo 285a57ec0fc463ad9e1862ccacefc85c
Compra nuovo
EUR 58,23
Spedizione EUR 5,50
Spedito da Italia a U.S.A.
Spedito da Italia a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Lectures on Runtime Verification
Print on DemandDa: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service. Codice articolo POD-216655
Compra nuovo
EUR 72,52
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 10 disponibili
Foto dell'editore
Lectures on Runtime Verification: Introductory and Advanced Topics (Programming and Software Engineering)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In English. Codice articolo ria9783319756318_new
Compra nuovo
EUR 73,47
Spedizione EUR 14,00
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Lectures on Runtime Verification : Introductory and Advanced Topics
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783319756318
Compra nuovo
EUR 69,88
Spedizione EUR 18,10
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 10 disponibili
Immagini fornite dal venditore
Lectures on Runtime Verification
Editore:
Springer International Publishing Feb 2018, 2018
ISBN 10: 3319756311
ISBN 13: 9783319756318
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 -The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of concurrency errors, monitoring events that carry data, runtime error reaction and prevention, monitoring of cyber-physical systems, runtime verification for decentralized and distributed systems and an industrial application of runtime verification techniques in financial transaction systems. 244 pp. Englisch. Codice articolo 9783319756318
Compra nuovo
EUR 69,54
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Lectures on Runtime Verification: Introductory and Advanced Topics: 10457 (Lecture Notes in Computer Science)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. 1st ed. 2018 edition NO-PA16APR2015-KAP. Codice articolo 26376479668
Compra nuovo
EUR 98,19
Spedizione EUR 3,46
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Lectures on Runtime Verification: Introductory and Advanced Topics: 10457 (Lecture Notes in Computer Science)
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand. Codice articolo 369565803
Compra nuovo
EUR 99,33
Spedizione EUR 7,60
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili
Immagini fornite dal venditore
Lectures on Runtime Verification
Editore:
Springer International Publishing, 2018
ISBN 10: 3319756311
ISBN 13: 9783319756318
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Kartoniert / Broschiert. Condizione: New. Codice articolo 204098061
Compra nuovo
EUR 60,06
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Lectures on Runtime Verification: Introductory and Advanced Topics
Editore:
Springer-Verlag New York Inc, 2018
ISBN 10: 3319756311
ISBN 13: 9783319756318
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 244 pages. 9.25x6.10x0.55 inches. In Stock. Codice articolo x-3319756311
Compra nuovo
EUR 98,92
Spedizione EUR 11,69
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Lectures on Runtime Verification: Introductory and Advanced Topics: 10457 (Lecture Notes in Computer Science)
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND. Codice articolo 18376479678
Compra nuovo
EUR 101,60
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 4 disponibili