Ergebnisse filtern
Fachgebiet
Medium
  • 6
  • 3
Erscheinungsjahr
  • 2
  • 2
  • 1
  • 2
  • 2
Autoren
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 9
  • 2
Verlag
  • 2
  • 5
  • 2
Preis
  • 2
  • 6
  • 1
Sprachen
  • 9
Verfügbarkeit
  • 9
Katalog
  • 9
9  Treffer  für „Sharygina, Natasha“
    Sharygina / Sankaranarayanan | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Sharygina / Sankaranarayanan Tools and Algorithms for the Construction and Analysis of Systems

    29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-30819-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sharygina / Sankaranarayanan | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Sharygina / Sankaranarayanan Tools and Algorithms for the Construction and Analysis of Systems

    29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-30822-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Veith / Sharygina | Computer Aided Verification | Buch | Sack Fachmedien

    Veith / Sharygina Computer Aided Verification

    25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-39798-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sharygina / Veith | Computer Aided Verification | eBook | Sack Fachmedien
    E-Book

    Sharygina / Veith Computer Aided Verification

    25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39799-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Chockler / Sharygina / Kroening | Validation of Evolving Software | Buch | Sack Fachmedien

    Chockler / Sharygina / Kroening Validation of Evolving Software

    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-10622-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bloem / Sharygina / Dimitrova | Software Verification | Buch | Sack Fachmedien

    Bloem / Sharygina / Dimitrova Software Verification

    13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-95560-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chockler / Sharygina / Kroening | Validation of Evolving Software | Buch | Sack Fachmedien

    Chockler / Sharygina / Kroening Validation of Evolving Software

    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-38200-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chockler / Kroening / Mariani | Validation of Evolving Software | eBook | Sack Fachmedien
    E-Book

    Chockler / Kroening / Mariani Validation of Evolving Software

    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-10623-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bloem / Dimitrova / Fan | Software Verification | eBook | Sack Fachmedien
    E-Book

    Bloem / Dimitrova / Fan Software Verification

    13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-95561-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    58,84 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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