Ergebnisse filtern
Fachgebiet
Medium
  • 6
  • 5
Erscheinungsjahr
  • 1
  • 2
  • 6
  • 2
Autoren
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 11
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 3
Verlag
  • 11
Preis
  • 8
  • 3
Sprachen
  • 11
Verfügbarkeit
  • 11
Katalog
  • 11
11  Treffer  für „Dongol, Brijesh“
    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 / Troubitsyna | Integrated Formal Methods | eBook | Sack Fachmedien
    E-Book

    Dongol / Troubitsyna 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-63461-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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
    Dongol / Petre / Smith | Formal Methods Teaching | eBook | Sack Fachmedien
    E-Book

    Dongol / Petre / Smith 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
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-32441-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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
    Cavalcanti / Dongol / Hierons | Software Engineering for Robotics | eBook | Sack Fachmedien
    E-Book

    Cavalcanti / Dongol / Hierons Software Engineering for Robotics

    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-66494-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    117,69 € (inkl. MwSt.)
    sofort verfügbar
    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 International Publishing
    ISBN: 978-3-030-54993-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sekerinski / Moreira / Astarte | Formal Methods. FM 2019 International Workshops | eBook | Sack Fachmedien
    E-Book

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

    Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-54994-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Sekerinski / Moreira / Astarte | Formal Methods. FM 2019 International Workshops | eBook | Sack Fachmedien
    E-Book

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

    Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-54997-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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 International Publishing
    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