Hoppa till sidans huvudinnehåll

Diego Marmsoler - Böcker

Visar alla böcker från författaren Diego Marmsoler.
3 produkter
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 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

Häftad, Engelska, 2020

719 kr

Skickas inom 10-15 vardagar

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 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,Jose N. Oliveira,Jose Campos

Häftad, Engelska, 2020

719 kr

Skickas inom 10-15 vardagar

Del 15189 - Lecture Notes in Computer Science

Formal Aspects of Component Software

20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings

AvDiego Marmsoler,Meng Sun

Häftad, Engelska, 2024

719 kr

Skickas inom 7-10 vardagar