Ergebnisse filtern
Fachgebiet
Medium
  • 6
Erscheinungsjahr
  • 1
  • 1
  • 3
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
Verlag
  • 2
  • 4
Preis
  • 4
  • 2
Sprachen
  • 6
Verfügbarkeit
  • 6
Katalog
  • 6

Mathematik | Informatik

6  Treffer  für „Dongol, Brijesh“
Alle Filter löschen
    Troubitsyna / Dongol | Integrated Formal Methods | Buch | Sack Fachmedien

    Troubitsyna / Dongol Integrated Formal Methods

    16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-63460-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dongol / Smith / Petre | Formal Methods Teaching | Buch | Sack Fachmedien

    Dongol / Smith / Petre Formal Methods Teaching

    Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-32440-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cavalcanti / Dongol / Woodcock | Software Engineering for Robotics | Buch | Sack Fachmedien

    Cavalcanti / Dongol / Woodcock Software Engineering for Robotics

    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-66496-1
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cavalcanti / Dongol / Woodcock | Software Engineering for Robotics | Buch | Sack Fachmedien

    Cavalcanti / Dongol / Woodcock Software Engineering for Robotics

    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-66493-0
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sekerinski / Astarte / Moreira | Formal Methods. FM 2019 International Workshops | Buch | Sack Fachmedien

    Sekerinski / Astarte / Moreira Formal Methods. FM 2019 International Workshops

    Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-54993-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sekerinski / Astarte / Moreira | Formal Methods. FM 2019 International Workshops | Buch | Sack Fachmedien

    Sekerinski / Astarte / Moreira Formal Methods. FM 2019 International Workshops

    Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-54996-1
    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