Programming and Software Engineering : 12233
- Sekerinski, Emil[Herausgeber]
- Moreira, Nelma[Herausgeber]
- Oliveira, José N[Herausgeber]
- Ratiu, Daniel[Herausgeber]
- Guidotti, Riccardo[Herausgeber]
- Farrell, Marie[Herausgeber]
- Luckcuck, Matt[Herausgeber]
- Marmsoler, Diego[Herausgeber]
- Campos, José[Herausgeber]
- Astarte, Troy[Herausgeber]
- Gonnord, Laure[Herausgeber]
- Cerone, Antonio[Herausgeber]
- Couto, Luis[Herausgeber]
- Dongol, Brijesh[Herausgeber]
- Kutrib, Martin[Herausgeber]
- Monteiro, Pedro[Herausgeber]
- Delmas, David[Herausgeber]
1st ed. 2020, 2020
Volltextzugriff (PDF)
Details
- Autor(en) / Beteiligte
- Sekerinski, Emil[Herausgeber]
- Moreira, Nelma[Herausgeber]
- Oliveira, José N[Herausgeber]
- Ratiu, Daniel[Herausgeber]
- Guidotti, Riccardo[Herausgeber]
- Farrell, Marie[Herausgeber]
- Luckcuck, Matt[Herausgeber]
- Marmsoler, Diego[Herausgeber]
- Campos, José[Herausgeber]
- Astarte, Troy[Herausgeber]
- Gonnord, Laure[Herausgeber]
- Cerone, Antonio[Herausgeber]
- Couto, Luis[Herausgeber]
- Dongol, Brijesh[Herausgeber]
- Kutrib, Martin[Herausgeber]
- Monteiro, Pedro[Herausgeber]
- Delmas, David[Herausgeber]
- Titel
- Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
- Ist Teil von
- Programming and Software Engineering : 12233
- Auflage
- 1st ed. 2020
- Ort / Verlag
- Cham : Springer International Publishing
- Erscheinungsjahr
- 2020
- Sprache
- Englisch
- Identifikatoren
- ISBN: 9783030549978DOI: 10.1007/978-3-030-54997-8Titel-ID: 990367609690206441
- Format
- 1 Online-Ressource (XVIII, 575 p. 605 illus., 85 illus. in color)
- Schlagworte
- Computers, Artificial intelligence, Software engineering, Special purpose computers, Architecture, Computer, Application software