Fachgebiet
Medium
  • 3
  • 3
Erscheinungsjahr
  • 2
  • 2
  • 2
Autoren
  • 1
  • 1
  • 2
  • 6
  • 2
Verlag
  • 6
Preis
  • 2
  • 4
Sprachen
  • 6
Verfügbarkeit
  • 6
Katalog
  • 6
6  Treffer  für „Jhala, Ranjit“


    Jhala / Schmidt Verification, Model Checking, and Abstract Interpretation

    12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-18274-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jhala / Igarashi Programming Languages and Systems

    10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-35182-2
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Jhala / Igarashi Programming Languages and Systems

    10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35181-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jhala / Schmidt Verification, Model Checking, and Abstract Interpretation

    12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-18275-4
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    De Bosschere / Jhala Compiler Construction

    22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-37050-2
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    De Bosschere / Jhala Compiler Construction

    22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-37051-9
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb



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