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

 

  • Hardware and software = verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Hardware and software/ edited by Nir Piterman.
    Reminder of title: verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /
    remainder title: HVC 2015
    other author: Piterman, Nir.
    corporate name: Workshop on the Preservation of Stability under Discretization
    Published: Cham :Imprint: Springer, : 2015.,
    Description: xvi, 293 p. :ill., digital ; : 24 cm.;
    Contained By: Springer eBooks
    Subject: Computer Communication Networks. -
    Online resource: http://dx.doi.org/10.1007/978-3-319-26287-1
    ISBN: 9783319262871
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login