Formal techniques for distributed ob...
Yoshida, Nobuko.

 

  • Formal techniques for distributed objects, components, and systems = 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Formal techniques for distributed objects, components, and systems/ edited by Jorge A. Perez, Nobuko Yoshida.
    Reminder of title: 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings /
    remainder title: FORTE 2019
    other author: Perez, Jorge A.
    corporate name: Workshop on the Preservation of Stability under Discretization
    Published: Cham :Springer International Publishing : : 2019.,
    Description: xiv, 299 p. :ill., digital ; : 24 cm.;
    Contained By: Springer eBooks
    Subject: Electronic data processing - Congresses. - Distributed processing -
    Online resource: https://doi.org/10.1007/978-3-030-21759-4
    ISBN: 9783030217594
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login