Hardware and software = verification...
Workshop on the Preservation of Stability under Discretization ((2001 :)

 

  • Hardware and software = verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Hardware and software/ edited by Ofer Strichman, Rachel Tzoref-Brill.
    Reminder of title: verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings /
    remainder title: HVC 2017
    other author: Strichman, Ofer.
    corporate name: Workshop on the Preservation of Stability under Discretization
    Published: Cham :Springer International Publishing : : 2017.,
    Description: xxii, 253 p. :ill., digital ; : 24 cm.;
    Contained By: Springer eBooks
    Subject: Computer software - Congresses. - Verification -
    Online resource: http://dx.doi.org/10.1007/978-3-319-70389-3
    ISBN: 9783319703893
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login