Fachgebiet
Medium
  • 3
  • 2
Erscheinungsjahr
  • 1
  • 2
  • 2
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
Verlag
  • 1
  • 3
  • 1
Preis
  • 5
Sprachen
  • 5
Verfügbarkeit
  • 5
Katalog
  • 5
5  Treffer  für „Yahav, Eran“


    Yahav Static Analysis

    18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23701-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Yahav Hardware and Software: Verification and Testing

    10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-13337-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Yahav Static Analysis

    18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-23702-7
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Yahav Hardware and Software: Verification and Testing

    10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-13338-6
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Yahav / Vechev Programming with “Big Code”

    1. Auflage 2016
    Verlag: Now Publishers
    ISBN: 978-1-68083-230-3
    Medium: Buch
    51,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb



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