Hardware and software = verification...
Bloem, Roderick.

 

  • Hardware and software = verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Hardware and software/ edited by Roderick Bloem, Eli Arbel.
    Reminder of title: verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings /
    remainder title: HVC 2016
    other author: Bloem, Roderick.
    corporate name: Workshop on the Preservation of Stability under Discretization
    Published: Cham :Springer International Publishing : : 2016.,
    Description: xvi, 211 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-49052-6
    ISBN: 9783319490526
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login