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.
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
Immagini fornite dal venditore
Lectures on Runtime Verification : Introductory and Advanced Topics
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 30708444
Compra usato
EUR 79,78
Spedizione EUR 2,35
Spedito in U.S.A.
Spedito in U.S.A.
Quantitą: 15 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 70,36
Spedizione EUR 18,23
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantitą: 10 disponibili
Foto dell'editore
Lectures on Runtime Verification : Introductory and Advanced Topics
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 30708444-n
Compra nuovo
EUR 88,81
Spedizione EUR 2,35
Spedito in U.S.A.
Spedito in U.S.A.
Quantitą: 15 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 (Lecture Notes in Computer Science, 10457)
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 81,48
Spedizione EUR 13,28
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantitą: Pił di 20 disponibili
Immagini fornite dal venditore
Lectures on Runtime Verification : Introductory and Advanced Topics
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9783319756318
Compra nuovo
EUR 72,78
Spedizione EUR 35,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantitą: 1 disponibili
Foto dell'editore
Lectures on Runtime Verification: Introductory and Advanced Topics: 10457 (Lecture Notes in Computer Science)
Da: Books Puddle, Woodside, 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 105,29
Spedizione EUR 3,55
Spedito in U.S.A.
Spedito in 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 100,93
Spedizione EUR 11,77
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantitą: 2 disponibili