Ergebnisse filtern
Fachgebiet
Medium
  • 6
  • 6
Erscheinungsjahr
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
Autoren
  • 12
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
Verlag
  • 2
  • 10
Preis
  • 12
Sprachen
  • 12
Verfügbarkeit
  • 12
Katalog
  • 12
12  Treffer  für „Bartocci, Ezio“
    Majumdar / Bartocci | Runtime Verification | Buch | Sack Fachmedien

    Majumdar / Bartocci Runtime Verification

    6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23819-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bartocci / Falcone | Lectures on Runtime Verification | eBook | Sack Fachmedien
    E-Book

    Bartocci / Falcone Lectures on Runtime Verification

    Introductory and Advanced Topics
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-75632-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bartocci / Majumdar | Runtime Verification | eBook | Sack Fachmedien
    E-Book

    Bartocci / Majumdar Runtime Verification

    6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23820-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Falcone / Bartocci | Lectures on Runtime Verification | Buch | Sack Fachmedien

    Falcone / Bartocci Lectures on Runtime Verification

    Introductory and Advanced Topics
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-75631-8
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bartocci / Ramakrishnan | Model Checking Software | eBook | Sack Fachmedien
    E-Book

    Bartocci / Ramakrishnan Model Checking Software

    20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39176-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ramakrishnan / Bartocci | Model Checking Software | Buch | Sack Fachmedien

    Ramakrishnan / Bartocci Model Checking Software

    20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-39175-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bartocci / Paoletti / Lio | Computational Methods in Systems Biology | Buch | Sack Fachmedien

    Bartocci / Paoletti / Lio Computational Methods in Systems Biology

    14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-45176-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bartocci / Leucker / Falcone | Formal Methods in Outer Space | Buch | Sack Fachmedien

    Bartocci / Leucker / Falcone Formal Methods in Outer Space

    Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-87347-9
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bartocci / Lio / Paoletti | Computational Methods in Systems Biology | eBook | Sack Fachmedien
    E-Book

    Bartocci / Lio / Paoletti Computational Methods in Systems Biology

    14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-45177-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bartocci / Falcone / Leucker | Formal Methods in Outer Space | eBook | Sack Fachmedien
    E-Book

    Bartocci / Falcone / Leucker Formal Methods in Outer Space

    Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-87348-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    58,84 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bartocci / Cleaveland / Grosu | From Reactive Systems to Cyber-Physical Systems | eBook | Sack Fachmedien
    E-Book

    Bartocci / Cleaveland / Grosu From Reactive Systems to Cyber-Physical Systems

    Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-31514-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bartocci / Sokolsky / Cleaveland | From Reactive Systems to Cyber-Physical Systems | Buch | Sack Fachmedien

    Bartocci / Sokolsky / Cleaveland From Reactive Systems to Cyber-Physical Systems

    Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-31513-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular