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

Mathematik | Informatik

3  Treffer  für „Jhala, Ranjit“
Alle Filter löschen
    Jhala / Schmidt | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    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 | Buch | Sack Fachmedien

    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
    De Bosschere / Jhala | Compiler Construction | Buch | Sack Fachmedien

    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

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