Software engineering and formal meth...
Cimatti, Alessandro.

 

  • Software engineering and formal methods = 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Software engineering and formal methods/ edited by Alessandro Cimatti, Marjan Sirjani.
    Reminder of title: 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings /
    remainder title: SEFM 2017
    other author: Cimatti, Alessandro.
    corporate name: Workshop on the Preservation of Stability under Discretization
    Published: Cham :Springer International Publishing : : 2017.,
    Description: xix, 410 p. :ill., digital ; : 24 cm.;
    Contained By: Springer eBooks
    Subject: Software engineering - Congresses. -
    Online resource: http://dx.doi.org/10.1007/978-3-319-66197-1
    ISBN: 9783319661971
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login