NASA formal methods = 9th Internatio...
SpringerLink (Online service)

 

  • NASA formal methods = 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: NASA formal methods/ edited by Clark Barrett, Misty Davies, Temesghen Kahsai.
    Reminder of title: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings /
    remainder title: NFM 2017
    other author: Barrett, Clark.
    corporate name: Workshop on the Preservation of Stability under Discretization
    Published: Cham :Springer International Publishing : : 2017.,
    Description: xi, 436 p. :ill., digital ; : 24 cm.;
    Contained By: Springer eBooks
    Subject: Formal methods (Computer science) -
    Online resource: https://doi.org/10.1007/978-3-319-57288-8
    ISBN: 9783319572888
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login