Ergebnisse filtern
Fachgebiet
Medium
  • 5
  • 5
Erscheinungsjahr
  • 3
  • 2
  • 1
  • 4
Autoren
  • 2
  • 4
  • 2
  • 1
  • 4
  • 4
  • 10
  • 2
  • 2
Verlag
  • 10
Preis
  • 2
  • 8
Sprachen
  • 10
Verfügbarkeit
  • 10
Katalog
  • 10
10  Treffer  für „Pasareanu, Corina S.“
    Pasareanu / Pasareanu | Symbolic Execution and Quantitative Reasoning | eBook | Sack Fachmedien
    E-Book

    Pasareanu / Pasareanu Symbolic Execution and Quantitative Reasoning

    Applications to Software Safety and Security
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-02551-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    26,74 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kroening / Pasareanu / Pasareanu | Computer Aided Verification | eBook | Sack Fachmedien
    E-Book

    Kroening / Pasareanu / Pasareanu Computer Aided Verification

    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21690-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Calinescu / Pasareanu / Pasareanu | Software Engineering and Formal Methods | eBook | Sack Fachmedien
    E-Book

    Calinescu / Pasareanu / Pasareanu Software Engineering and Formal Methods

    19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-92124-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    85,59 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kroening / Pasareanu / Pasareanu | Computer Aided Verification | eBook | Sack Fachmedien
    E-Book

    Kroening / Pasareanu / Pasareanu Computer Aided Verification

    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
    Erscheinungsjahr 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21668-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Pasareanu / Pasareanu | Symbolic Execution and Quantitative Reasoning | Buch | Sack Fachmedien

    Pasareanu / Pasareanu Symbolic Execution and Quantitative Reasoning

    Applications to Software Safety and Security
    Erscheinungsjahr 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-031-01423-9
    Medium: Buch
    26,74 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pasareanu / Kroening / Pasareanu | Computer Aided Verification | Buch | Sack Fachmedien

    Pasareanu / Kroening / Pasareanu Computer Aided Verification

    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21667-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pasareanu / Kroening / Pasareanu | Computer Aided Verification | Buch | Sack Fachmedien

    Pasareanu / Kroening / Pasareanu Computer Aided Verification

    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21689-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pasareanu / Calinescu / Pasareanu | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Pasareanu / Calinescu / Pasareanu Software Engineering and Formal Methods

    19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-92123-1
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seidl / Pasareanu / Liu | Theoretical Aspects of Computing ¿ ICTAC 2022 | Buch | Sack Fachmedien

    Seidl / Pasareanu / Liu Theoretical Aspects of Computing ¿ ICTAC 2022

    19th International Colloquium, Tbilisi, Georgia, September 27¿29, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-17714-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seidl / Liu / Pasareanu | Theoretical Aspects of Computing – ICTAC 2022 | eBook | Sack Fachmedien
    E-Book

    Seidl / Liu / Pasareanu Theoretical Aspects of Computing – ICTAC 2022

    19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-17715-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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