Ergebnisse filtern
Fachgebiet
Medium
  • 3
  • 3
Erscheinungsjahr
  • 2
  • 2
  • 2
Autoren
  • 2
  • 2
  • 2
  • 6
Verlag
  • 3
  • 3
Preis
  • 6
Sprachen
  • 6
Verfügbarkeit
  • 6
Katalog
  • 6
6  Treffer  für „Sokolova, Ana“
    Gotsman / Sokolova | Formal Techniques for Distributed Objects, Components, and Systems | eBook | Sack Fachmedien
    E-Book

    Gotsman / Sokolova Formal Techniques for Distributed Objects, Components, and Systems

    40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
    Erscheinungsjahr 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-50086-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kovács / Sokolova | Reachability Problems | Buch | Sack Fachmedien

    Kovács / Sokolova Reachability Problems

    18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-72620-0
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kovács / Sokolova | Reachability Problems | eBook | Sack Fachmedien
    E-Book

    Kovács / Sokolova Reachability Problems

    18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-72621-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Laarman / Sokolova | Model Checking Software | eBook | Sack Fachmedien
    E-Book

    Laarman / Sokolova Model Checking Software

    27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-84629-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Gotsman / Sokolova | Formal Techniques for Distributed Objects, Components, and Systems | Buch | Sack Fachmedien

    Gotsman / Sokolova Formal Techniques for Distributed Objects, Components, and Systems

    40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-50085-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Laarman / Sokolova | Model Checking Software | Buch | Sack Fachmedien

    Laarman / Sokolova Model Checking Software

    27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-84628-2
    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