Hoppa till sidans huvudinnehåll

Brijesh Dongol – författare

Visar alla böcker från författaren Brijesh Dongol.
6 produkter
Brijesh Dongol, Luigia Petre, Graeme Smith - Formal Methods Teaching, Häftad
Del 11758 - Lecture Notes in Computer Science

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

AvBrijesh Dongol,Luigia Petrem. fl.

Häftad, Engelska, 2019

739 kr

Skickas inom 10-15 vardagar

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas - Formal Methods. FM 2019 International Workshops, Häftad
Del 12232 - Lecture Notes in Computer Science

Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

AvEmil Sekerinski,Nelma Moreiram. fl.

Häftad, Engelska, 2020

739 kr

Skickas inom 10-15 vardagar

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas - Formal Methods. FM 2019 International Workshops, Häftad
Del 12233 - Lecture Notes in Computer Science

Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

AvEmil Sekerinski,Nelma Moreiram. fl.

Häftad, Engelska, 2020

739 kr

Skickas inom 10-15 vardagar

Brijesh Dongol, Elena Troubitsyna - Integrated Formal Methods, Häftad

Integrated Formal Methods

16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

AvBrijesh Dongol,Elena Troubitsyna

Häftad, Engelska, 2020

739 kr

Skickas inom 10-15 vardagar

Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock - Software Engineering for Robotics, Inbunden

Software Engineering for Robotics

AvAna Cavalcanti,Brijesh Dongolm. fl.

Inbunden, Engelska, 2021

1 699 kr

Skickas inom 10-15 vardagar

Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock - Software Engineering for Robotics, Häftad

Software Engineering for Robotics

AvAna Cavalcanti,Brijesh Dongolm. fl.

Häftad, Engelska, 2022

1 699 kr

Skickas inom 10-15 vardagar