Software engineering and formal meth...
Workshop on the Preservation of Stability under Discretization ((2001 :)

 

  • Software engineering and formal methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Software engineering and formal methods/ edited by Radu Calinescu, Bernhard Rumpe.
    Reminder of title: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
    remainder title: SEFM 2015
    other author: Calinescu, Radu.
    corporate name: Workshop on the Preservation of Stability under Discretization
    Published: Cham :Springer International Publishing : : 2015.,
    Description: xi, 369 p. :ill., digital ; : 24 cm.;
    Contained By: Springer eBooks
    Subject: Software engineering - Congresses. -
    Online resource: http://dx.doi.org/10.1007/978-3-319-22969-0
    ISBN: 9783319229690
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login