Coverart for item
The Resource Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, edited by Nir Piterman, (electronic book)

Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, edited by Nir Piterman, (electronic book)

Label
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Title
Hardware and Software: Verification and Testing
Title remainder
11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Statement of responsibility
edited by Nir Piterman
Creator
Contributor
Editor
Subject
Language
eng
Summary
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain verification; and synthesis
Member of
Cataloging source
NUI
Dewey number
005.1
Illustrations
illustrations
Image bit depth
0
Index
no index present
LC call number
QA76.758
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2015
http://bibfra.me/vocab/lite/meetingName
International Haifa Verification Conference
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
Piterman, Nir
Series statement
Lecture Notes in Computer Science,
Series volume
9434
http://library.link/vocab/subjectName
  • Computer science
  • Computer networks
  • Software engineering
  • Programming languages (Electronic computers)
  • Computer logic
  • Logic, Symbolic and mathematical
  • Artificial intelligence
  • Computer Science
  • Software Engineering
  • Logics and Meanings of Programs
  • Programming Languages, Compilers, Interpreters
  • Mathematical Logic and Formal Languages
  • Artificial Intelligence (incl. Robotics)
  • Computer Communication Networks
Label
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, edited by Nir Piterman, (electronic book)
Instantiates
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
SPR932170094
Dimensions
unknown
Extent
1 online resource (xvi, 293 p.)
File format
multiple file formats
Form of item
online
Isbn
9783319262864
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/978-3-319-26287-1
Other physical details
ill.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
Label
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, edited by Nir Piterman, (electronic book)
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
SPR932170094
Dimensions
unknown
Extent
1 online resource (xvi, 293 p.)
File format
multiple file formats
Form of item
online
Isbn
9783319262864
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/978-3-319-26287-1
Other physical details
ill.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote

Library Locations

Processing Feedback ...