11 results
Type of media (2)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
11 results

Your search for Brijesh Dongol

  1. Cover: Software Engineering for Robotics - Springer
    Ana Cavalcanti | Brijesh Dongol | Rob Hierons
    Software Engineering for Robotics
    07/2021
    1st EDN1st Edition
    Springer
    9783030664947 (ISBN)
    E-Book
    PDF
    Other editions
    €117.69
    Available for download
  2. Cover: Formal Methods. FM 2019 International Workshops - Springer
    Emil Sekerinski | Nelma Moreira | José N. Oliveira
    Formal Methods. FM 2019 International Workshops
    Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
    08/2020
    Springer
    9783030549947 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Formal Methods. FM 2019 International Workshops - Springer
    Emil Sekerinski | Nelma Moreira | José N. Oliveira
    Formal Methods. FM 2019 International Workshops
    Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
    08/2020
    Springer
    9783030549978 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Integrated Formal Methods - Springer
    Brijesh Dongol | Elena Troubitsyna
    Integrated Formal Methods
    16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
    11/2020
    Springer
    9783030634612 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Formal Methods Teaching - Springer
    Brijesh Dongol | Luigia Petre | Graeme 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
    09/2019
    Springer
    9783030324414 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. Cover: Software Engineering for Robotics - Springer
    Ana Cavalcanti | Brijesh Dongol | Rob Hierons
    Software Engineering for Robotics
    07/2022
    Springer
    9783030664961 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €128.39
    Shipment within 7-9 days
  7. Cover: Software Engineering for Robotics - Springer
    Ana Cavalcanti | Brijesh Dongol | Rob Hierons
    Software Engineering for Robotics
    07/2021
    Springer
    9783030664930 (ISBN)
    Book
    Hardback
    Other editions
    €128.39
    Shipment within 7-9 days
  8. Cover: Formal Methods. FM 2019 International Workshops - Springer
    Emil Sekerinski | Nelma Moreira | José N. Oliveira
    Formal Methods. FM 2019 International Workshops
    Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
    08/2020
    Springer
    9783030549930 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  9. Cover: Formal Methods. FM 2019 International Workshops - Springer
    Emil Sekerinski | Nelma Moreira | José N. Oliveira
    Formal Methods. FM 2019 International Workshops
    Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
    08/2020
    Springer
    9783030549961 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  10. Cover: Integrated Formal Methods - Springer
    Brijesh Dongol | Elena Troubitsyna
    Integrated Formal Methods
    16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
    11/2020
    Springer
    9783030634605 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  11. Cover: Formal Methods Teaching - Springer
    Brijesh Dongol | Luigia Petre | Graeme 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
    10/2019
    Springer
    9783030324407 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days