Ergebnisse filtern
Fachgebiet
Medium
  • 3
  • 3
Erscheinungsjahr
  • 2
  • 2
  • 2
Autoren
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
Verlag
  • 4
  • 2
Preis
  • 6
Sprachen
  • 6
Verfügbarkeit
  • 6
Katalog
  • 6
6  Treffer  für „Philippou, Anna“
    Kowalewski / Philippou | Tools and Algorithms for the Construction and Analysis of Systems | eBook | Sack Fachmedien
    E-Book

    Kowalewski / Philippou Tools and Algorithms for the Construction and Analysis of Systems

    15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-00768-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kowalewski / Philippou | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Kowalewski / Philippou Tools and Algorithms for the Construction and Analysis of Systems

    15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00767-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mousavi / Philippou | Formal Techniques for Distributed Objects, Components, and Systems | eBook | Sack Fachmedien
    E-Book

    Mousavi / Philippou Formal Techniques for Distributed Objects, Components, and Systems

    42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-08679-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    74,89 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Mousavi / Philippou | Formal Techniques for Distributed Objects, Components, and Systems | Buch | Sack Fachmedien

    Mousavi / Philippou Formal Techniques for Distributed Objects, Components, and Systems

    42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-08678-6
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fitzgerald / Heitmeyer / Gnesi | FM 2016: Formal Methods | eBook | Sack Fachmedien
    E-Book

    Fitzgerald / Heitmeyer / Gnesi FM 2016: Formal Methods

    21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-48989-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Fitzgerald / Heitmeyer / Gnesi | FM 2016: Formal Methods | Buch | Sack Fachmedien

    Fitzgerald / Heitmeyer / Gnesi FM 2016: Formal Methods

    21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-48988-9
    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