Formal methods and software engineer...
Zaidi, Fatiha.

 

  • Formal methods and software engineering = 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Formal methods and software engineering/ edited by Michael Butler, Sylvain Conchon, Fatiha Zaidi.
    Reminder of title: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings /
    remainder title: ICFEM 2015
    other author: Zaidi, Fatiha.
    corporate name: Workshop on the Preservation of Stability under Discretization
    Published: Cham :Imprint: Springer, : 2015.,
    Description: xxv, 436 p. :ill., digital ; : 24 cm.;
    Contained By: Springer eBooks
    Subject: Computer Communication Networks. -
    Online resource: http://dx.doi.org/10.1007/978-3-319-25423-4
    ISBN: 9783319254234
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login