Livros de Brijesh Dongol - BookPine

Software Engineering for Robotics

Software Engineering for Robotics

Ana Cavalcanti

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

Brijesh Dongol

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

Emil Sekerinski

Formal Methods (FM 2019) International Workshops (Porto, Portugal, October 7-11, 2019; Revised Selected Papers, Part II)

Formal Methods (FM 2019) International Workshops (Porto, Portugal, October 7-11, 2019; Revised Selected Papers, Part II)

Emil Sekerinski

Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, ... Computer Science and General Issues)

Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, ... Computer Science and General Issues)

Brijesh Dongol

Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, ... Notes in Computer Science Book 11758)

Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, ... Notes in Computer Science Book 11758)

Brijesh Dongol