LEADER 02123nam  2200493   450 
001 996466216603316
005 20210211190553.0
010   $a3-319-70389-7
024 7 $a10.1007/978-3-319-70389-3
035   $a(CKB)4340000000223536
035   $a(DE-He213)978-3-319-70389-3
035   $a(MiAaPQ)EBC5579361
035   $a(MiAaPQ)EBC6288104
035   $a(Au-PeEL)EBL5579361
035   $a(OCoLC)1066190415
035   $a(PPN)221251502
035   $a(EXLCZ)994340000000223536
100   $a20210211d2017      uy             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aHardware and software $everification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, proceedings /$fOfer Strichman, Rachel Tzoref-Brill (editors)
205   $a1st ed. 2017.
210  1$aCham, Switzerland :$cSpringer,$d[2017]
210  4$dİ2017
215   $a1 online resource (XXII, 253 p. 47 illus.) 
225 1 $aProgramming and Software Engineering ;$v10629
311   $a3-319-70388-9 
330   $aThis book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017. The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.
410  0$aProgramming and Software Engineering ;$v10629
606   $aComputer software$xVerification$vCongresses
615  0$aComputer software$xVerification
676   $a005.14
702   $aStrichman$b Ofer
702   $aTzoref-Brill$b Rachel
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466216603316
996   $aHardware and software$92832026
997   $aUNISA