Ergebnisse filtern
Fachgebiet
Medium
  • 7
  • 7
Erscheinungsjahr
  • 2
  • 2
  • 4
  • 2
  • 2
  • 1
  • 1
Autoren
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 14
  • 1
  • 2
  • 1
Verlag
  • 8
  • 2
  • 3
  • 1
Preis
  • 14
Sprachen
  • 14
Verfügbarkeit
  • 14
Katalog
  • 14
14  Treffer  für „Palsberg, Jens“
    Palsberg | Semantics and Algebraic Specification | eBook | Sack Fachmedien
    E-Book

    Palsberg Semantics and Algebraic Specification

    Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
    2009
    Verlag: Springer
    ISBN: 978-3-642-04164-8
    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
    2000
    Verlag: Springer Berlin Heidelberg
    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
    2009
    Verlag: Springer
    ISBN: 978-3-642-04163-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    Hermanns / Palsberg | Tools and Algorithms for the Construction and Analysis of Systems | eBook | Sack Fachmedien
    E-Book

    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
    2006
    Verlag: Springer
    ISBN: 978-3-540-33057-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Palsberg / Dillig | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Palsberg / Dillig 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-73720-1
    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
    Su / Palsberg | Static Analysis | Buch | Sack Fachmedien

    Su / Palsberg Static Analysis

    16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-03236-3
    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 | eBook | Sack Fachmedien
    E-Book

    Palsberg / Su Static Analysis

    16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-03237-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Barik / Palsberg / Gupta | Principles and Practices of Building Parallel Software | Buch | Sack Fachmedien

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

    Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday
    Erscheinungsjahr 2025
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-97491-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havelund / Palsberg / Majumdar | Model Checking Software | Buch | Sack Fachmedien

    Havelund / Palsberg / Majumdar Model Checking Software

    15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85113-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havelund / Majumdar / Palsberg | Model Checking Software | eBook | Sack Fachmedien
    E-Book

    Havelund / Majumdar / Palsberg Model Checking Software

    15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-85114-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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