Isbn: 9783031742330 - runtime verification: 24th international conference, rv 2024, istanbul, turkey, october 15–17, 2024, proceedings: 15191 (8 risultati)

ISBN: 
Perfeziona con la Ricerca avanzata

Perfeziona la tua ricerca

  • Libri (8)

  • Nuovo (8)
Maggiori informazioni

a

Fascia di prezzo personalizzata (EUR)

a

  • Lingua: Inglese

    Editore: Springer, 2024

    3031742338 / 9783031742330

    • Brossura

    Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 73,77

    EUR 13,13 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New. In English.

  • Lingua: Inglese

    Editore: Springer, 2024

    3031742338 / 9783031742330

    • Brossura

    Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 87,53

    EUR 11,63 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: 2 disponibili

    Paperback. Condizione: Brand New. 320 pages. 6.10x0.67x9.25 inches. In Stock.

  • Lingua: Inglese

    Editore: Springer, 2024

    3031742338 / 9783031742330

    • Brossura

    Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 67,60

    EUR 35,00 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 1 disponibili

    Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper;Cyber-physical Systems;Temporal Logics;Speci cation and Visualization; Deep Neural Networks; andDistributed Systems.…

  • Lingua: Inglese

    Editore: Springer, 2024

    3031742338 / 9783031742330

    • Brossura

    Da: preigu, Osnabrück, Germaniapreigu

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 54,90

    EUR 70,00 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 5 disponibili

    Taschenbuch. Condizione: Neu. Runtime Verification | 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings | Erika Ábrahám (u. a.) | Taschenbuch | xvi | Englisch | 2024 | Springer | EAN 9783031742330 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

  • Lingua: Inglese

    Editore: Springer, 2024

    3031742338 / 9783031742330

    • Brossura
    • Print on Demand

    Da: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 50,23

    EUR 5,50 spedizione 
    Spedito da Italia a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: new. Questo è un articolo print on demand.

  • Lingua: Inglese

    Editore: Springer, Berlin, Springer Nature Switzerland, Springer, 2024

    3031742338 / 9783031742330

    • Brossura
    • Print on Demand

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 58,84

    EUR 23,00 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper;Cyber-physical Systems;Temporal Logics;Speci cation and Visualization; Deep Neural Networks; andDistributed Systems. 295 pp. Englisch.…

  • Lingua: Inglese

    Editore: Springer Verlag GmbH, 2024

    3031742338 / 9783031742330

    • Brossura
    • Print on Demand

    Da: moluna, Greven, Germaniamoluna

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 52,76

    EUR 48,99 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.

  • Lingua: Inglese

    Editore: Springer, Palgrave Macmillan Okt 2024, 2024

    3031742338 / 9783031742330

    • Brossura
    • Print on Demand

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 58,84

    EUR 60,00 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 1 disponibili

    Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; Temporal Logics; Speci cation and Visualization; Deep Neural Networks; and Distributed Systems.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 320 pp. Englisch.…