Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
Gespeichert in:
Verfasser / Beitragende:
edited by 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
Ort, Verlag, Jahr:
Cham :
Springer International Publishing,
2020
Beschreibung:
1 Online-Ressource (XVIII, 575 S. 605 illus., 85 illus. in color.)
Format:
Buch (online)
Ausgabe:
1st ed. 2020
Online Zugang: