Ergebnisse filtern
Fachgebiet
Medium
  • 3
  • 3
Erscheinungsjahr
  • 2
  • 2
  • 1
  • 1
Autoren
  • 4
  • 1
  • 2
  • 6
  • 2
  • 1
  • 2
  • 4
  • 2
  • 4
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
Verlag
  • 5
  • 1
Preis
  • 5
  • 1
Sprachen
  • 6
Verfügbarkeit
  • 6
Katalog
  • 6
6  Treffer  für „Dams, Dennis“
    Cavalcanti / Dams | FM 2009: Formal Methods | Buch | Sack Fachmedien

    Cavalcanti / Dams FM 2009: Formal Methods

    Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-05088-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cavalcanti / Dams | FM 2009: Formal Methods | eBook | Sack Fachmedien
    E-Book

    Cavalcanti / Dams FM 2009: Formal Methods

    Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-05089-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Dams / Hannemann / Steffen | Concurrency, Compositionality, and Correctness | Buch | Sack Fachmedien

    Dams / Hannemann / Steffen Concurrency, Compositionality, and Correctness

    Essays in Honor of Willem-Paul de Roever
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-11511-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dams / Hannemann / Steffen | Concurrency, Compositionality, and Correctness | eBook | Sack Fachmedien
    E-Book

    Dams / Hannemann / Steffen Concurrency, Compositionality, and Correctness

    Essays in Honor of Willem-Paul de Roever
    2010
    Verlag: Springer
    ISBN: 978-3-642-11512-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Dams / Gerth / Leue | Theoretical and Practical Aspects of SPIN Model Checking | eBook | Sack Fachmedien
    E-Book

    Dams / Gerth / Leue Theoretical and Practical Aspects of SPIN Model Checking

    5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-48234-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Dams / Gerth / Leue | Theoretical and Practical Aspects of SPIN Model Checking | Buch | Sack Fachmedien

    Dams / Gerth / Leue Theoretical and Practical Aspects of SPIN Model Checking

    5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66499-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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