Formal Methods. FM 2019 Internationa...
Monteiro, Pedro.

 

  • Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Formal Methods. FM 2019 International Workshops/ 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.
    Reminder of title: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II /
    other author: Sekerinski, Emil.
    Description: XVIII, 575 p. 605 illus., 85 illus. in color.online resource. :
    Contained By: Springer Nature eBook
    Subject: Computers. -
    Online resource: https://doi.org/10.1007/978-3-030-54997-8
    ISBN: 9783030549978
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login