Formal methods = foundations and app...
Ribeiro, Leila.

 

  • Formal methods = foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Formal methods/ edited by Leila Ribeiro, Thierry Lecomte.
    Reminder of title: foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings /
    remainder title: SBMF 2016
    other author: Ribeiro, Leila.
    corporate name: Workshop on the Preservation of Stability under Discretization
    Published: Cham :Springer International Publishing : : 2016.,
    Description: x, 253 p. :ill., digital ; : 24 cm.;
    Contained By: Springer eBooks
    Subject: Formal methods (Computer science) -
    Online resource: http://dx.doi.org/10.1007/978-3-319-49815-7
    ISBN: 9783319498157
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login