Ergebnisse filtern
Fachgebiet
Medium
  • 5
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 2
Autoren
  • 1
  • 2
  • 1
  • 4
  • 5
  • 1
Verlag
  • 5
Preis
  • 1
  • 4
Sprachen
  • 5
Verfügbarkeit
  • 5
Katalog
  • 5

Mathematik | Informatik

5  Treffer  für „Pasareanu, Corina S.“
Alle Filter löschen
    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

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