Please use this identifier to cite or link to this item: http://localhost/handle/Hannan/1292
Full metadata record
DC FieldValueLanguage
dc.contributorInternational Haifa Verification Conference ; (13th : ; 2017 : ; Haifa, Israel) ;en_US
dc.contributor.authorStrichman, Ofer, ; editor ;en_US
dc.contributor.authorTzoref-Brill, Rachel, ; editor ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:27:17Z-
dc.date.available2020-05-17T08:27:17Z-
dc.date.issued2017en_US
dc.identifier.isbn9783319703893 ; (electronic bk.) ;en_US
dc.identifier.isbn3319703897 ; (electronic bk.) ;en_US
dc.identifier.isbn9783319703886 ; (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/1292-
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionAvailable to OhioLINK libraries ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionOhio Library and Information Network ;en_US
dc.description.statementofresponsibilityOfer Strichman, Rachel Tzoref-Brill (eds.)en_US
dc.format.extent1 online resource (xxii, 253 pages) : ; illustrations ;en_US
dc.format.extentInternational conference proceedings ;en_US
dc.format.extentIncludes author index ;en_US
dc.publisherSpringer,en_US
dc.relation.ispartofseriesLecture notes in computer science, ; 0302-9743 ; ; 10629 ;en_US
dc.relation.ispartofseriesLNCS sublibrary. SL 2, Programming and software engineering ;en_US
dc.relation.ispartofseriesLecture notes in computer science ; ; 10629. ; 0302-9743 ;en_US
dc.relation.ispartofseriesLNCS sublibrary. ; SL 2, ; Programming and software engineering ;en_US
dc.relation.haspart9783319703893.pdfen_US
dc.subjectComputer software ; Verification ; Congresses ;en_US
dc.subjectComputer programs ; Verification ; Congresses ;en_US
dc.subjectSoftware architecture ; Congresses ;en_US
dc.titleHardware and software :en_US
dc.title.alternativeverification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings /en_US
dc.title.alternativeHVC 2017 ;en_US
dc.typeBooken_US
dc.publisher.placeCham, Switzerland :en_US
dc.classification.lcQA76.76.V47 ;en_US
Appears in Collections:مهندسی فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319703893.pdf9.14 MBAdobe PDFThumbnail
Preview File
Full metadata record
DC FieldValueLanguage
dc.contributorInternational Haifa Verification Conference ; (13th : ; 2017 : ; Haifa, Israel) ;en_US
dc.contributor.authorStrichman, Ofer, ; editor ;en_US
dc.contributor.authorTzoref-Brill, Rachel, ; editor ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:27:17Z-
dc.date.available2020-05-17T08:27:17Z-
dc.date.issued2017en_US
dc.identifier.isbn9783319703893 ; (electronic bk.) ;en_US
dc.identifier.isbn3319703897 ; (electronic bk.) ;en_US
dc.identifier.isbn9783319703886 ; (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/1292-
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionAvailable to OhioLINK libraries ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionOhio Library and Information Network ;en_US
dc.description.statementofresponsibilityOfer Strichman, Rachel Tzoref-Brill (eds.)en_US
dc.format.extent1 online resource (xxii, 253 pages) : ; illustrations ;en_US
dc.format.extentInternational conference proceedings ;en_US
dc.format.extentIncludes author index ;en_US
dc.publisherSpringer,en_US
dc.relation.ispartofseriesLecture notes in computer science, ; 0302-9743 ; ; 10629 ;en_US
dc.relation.ispartofseriesLNCS sublibrary. SL 2, Programming and software engineering ;en_US
dc.relation.ispartofseriesLecture notes in computer science ; ; 10629. ; 0302-9743 ;en_US
dc.relation.ispartofseriesLNCS sublibrary. ; SL 2, ; Programming and software engineering ;en_US
dc.relation.haspart9783319703893.pdfen_US
dc.subjectComputer software ; Verification ; Congresses ;en_US
dc.subjectComputer programs ; Verification ; Congresses ;en_US
dc.subjectSoftware architecture ; Congresses ;en_US
dc.titleHardware and software :en_US
dc.title.alternativeverification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings /en_US
dc.title.alternativeHVC 2017 ;en_US
dc.typeBooken_US
dc.publisher.placeCham, Switzerland :en_US
dc.classification.lcQA76.76.V47 ;en_US
Appears in Collections:مهندسی فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319703893.pdf9.14 MBAdobe PDFThumbnail
Preview File
Full metadata record
DC FieldValueLanguage
dc.contributorInternational Haifa Verification Conference ; (13th : ; 2017 : ; Haifa, Israel) ;en_US
dc.contributor.authorStrichman, Ofer, ; editor ;en_US
dc.contributor.authorTzoref-Brill, Rachel, ; editor ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:27:17Z-
dc.date.available2020-05-17T08:27:17Z-
dc.date.issued2017en_US
dc.identifier.isbn9783319703893 ; (electronic bk.) ;en_US
dc.identifier.isbn3319703897 ; (electronic bk.) ;en_US
dc.identifier.isbn9783319703886 ; (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/1292-
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionAvailable to OhioLINK libraries ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionOhio Library and Information Network ;en_US
dc.description.statementofresponsibilityOfer Strichman, Rachel Tzoref-Brill (eds.)en_US
dc.format.extent1 online resource (xxii, 253 pages) : ; illustrations ;en_US
dc.format.extentInternational conference proceedings ;en_US
dc.format.extentIncludes author index ;en_US
dc.publisherSpringer,en_US
dc.relation.ispartofseriesLecture notes in computer science, ; 0302-9743 ; ; 10629 ;en_US
dc.relation.ispartofseriesLNCS sublibrary. SL 2, Programming and software engineering ;en_US
dc.relation.ispartofseriesLecture notes in computer science ; ; 10629. ; 0302-9743 ;en_US
dc.relation.ispartofseriesLNCS sublibrary. ; SL 2, ; Programming and software engineering ;en_US
dc.relation.haspart9783319703893.pdfen_US
dc.subjectComputer software ; Verification ; Congresses ;en_US
dc.subjectComputer programs ; Verification ; Congresses ;en_US
dc.subjectSoftware architecture ; Congresses ;en_US
dc.titleHardware and software :en_US
dc.title.alternativeverification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings /en_US
dc.title.alternativeHVC 2017 ;en_US
dc.typeBooken_US
dc.publisher.placeCham, Switzerland :en_US
dc.classification.lcQA76.76.V47 ;en_US
Appears in Collections:مهندسی فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319703893.pdf9.14 MBAdobe PDFThumbnail
Preview File