Ergebnisse filtern
Fachgebiet
Medium
  • 8
  • 3
Erscheinungsjahr
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 11
  • 1
  • 1
  • 1
Verlag
  • 1
  • 8
  • 2
Preis
  • 8
  • 3
Sprachen
  • 11
Verfügbarkeit
  • 11
Katalog
  • 11
11  Treffer  für „Palsberg, Jens“
    Palsberg | Static Analysis | eBook | Sack Fachmedien
    E-Book

    Palsberg Static Analysis

    7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings
    Erscheinungsjahr 2004
    Verlag: Springer
    ISBN: 978-3-540-45099-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Palsberg | Static Analysis | Buch | Sack Fachmedien

    Palsberg Static Analysis

    7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67668-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palsberg | Semantics and Algebraic Specification | Buch | Sack Fachmedien

    Palsberg Semantics and Algebraic Specification

    Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04163-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dillig / Palsberg | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Dillig / Palsberg Verification, Model Checking, and Abstract Interpretation

    19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-73720-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dillig / Palsberg | Verification, Model Checking, and Abstract Interpretation | eBook | Sack Fachmedien
    E-Book

    Dillig / Palsberg Verification, Model Checking, and Abstract Interpretation

    19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-73721-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Palsberg / Su | Static Analysis | Buch | Sack Fachmedien

    Palsberg / Su Static Analysis

    16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03236-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermanns / Palsberg | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Hermanns / Palsberg Tools and Algorithms for the Construction and Analysis of Systems

    12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33056-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Appel | Modern Compiler Implementation in Java | Buch | Sack Fachmedien

    Appel Modern Compiler Implementation in Java

    2. Auflage 2015
    Verlag: Cambridge University Press
    ISBN: 978-0-521-82060-8
    Medium: Buch
    107,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havelund / Majumdar / Palsberg | Model Checking Software | Buch | Sack Fachmedien

    Havelund / Majumdar / Palsberg Model Checking Software

    15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85113-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barik / Gupta / Palsberg | Principles and Practices of Building Parallel Software | Buch | Sack Fachmedien

    Barik / Gupta / Palsberg Principles and Practices of Building Parallel Software

    Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-97491-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barik / Gupta / Palsberg | Principles and Practices of Building Parallel Software | eBook | Sack Fachmedien
    E-Book

    Barik / Gupta / Palsberg Principles and Practices of Building Parallel Software

    Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday
    Erscheinungsjahr 2025
    Verlag: Springer International Publishing
    ISBN: 978-3-031-97492-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    106,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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