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

Gespeichert in:
Hauptverfasser:
Sekerinski, Emil (HerausgeberIn), Moreira, Nelma (HerausgeberIn), Oliveira, José N. (HerausgeberIn), Ratiu, Daniel (HerausgeberIn), Guidotti, Riccardo (HerausgeberIn), Farrell, Marie (HerausgeberIn), Luckcuck, Matt (HerausgeberIn), Marmsoler, Diego (HerausgeberIn), Campos, José (HerausgeberIn), Astarte, Troy (HerausgeberIn), Gonnord, Laure (HerausgeberIn), Cerone, Antonio (HerausgeberIn), Couto, Luis (HerausgeberIn), Dongol, Brijesh (HerausgeberIn), Kutrib, Martin (HerausgeberIn), Monteiro, Pedro (HerausgeberIn), Delmas, David (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer International Publishing Imprint: Springer 2020
Ausgabe:
1st ed. 2020
Umfang:
1 Online-Ressource (XVIII, 575 p. 605 illus., 85 illus. in color)
text file PDF
Schriftenreihe:
Programming and Software Engineering
ISBN:
9783030549978
DOI:
10.1007/978-3-030-54997-8
Schlagworte:
Computers
Artificial intelligence
Software engineering
Special purpose computers
Architecture, Computer
Application software
Bezugswerke:
Links: