Programming and Software Engineering : 12232
- 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 I
- Ist Teil von
- Programming and Software Engineering : 12232
- Auflage
- 1st ed. 2020
- Ort / Verlag
- Cham : Springer International Publishing
- Erscheinungsjahr
- 2020
- Sprache
- Englisch
- Identifikatoren
- ISBN: 9783030549947DOI: 10.1007/978-3-030-54994-7Titel-ID: 990367609710206441
- Format
- 1 Online-Ressource (XVIII, 523 p. 398 illus., 98 illus. in color)
- Schlagworte
- Software engineering, Special purpose computers, Computers, Architecture, Computer, Artificial intelligence, Application software