Hardware and software: verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings. (2015)

• Record Type: Book
• Further Information: Note: Nir Piterman (ed.).
• Editors: Piterman, Nir
• Other Names: International Haifa Verification Conference, 11th
• Publisher Details: Cham : Springer
• Publication Date: 2015
• Copyright Date: 2015
• Extent: 1 online resource (293 pages)
• Subjects: 005.14; Computer science; Computer programs -- Verification -- Congresses; Software architecture -- Congresses; Computer input-output equipment -- Congresses; Computer software -- Verification -- Congresses; Computers -- Programming -- General; Computers -- Programming Languages -- General; Mathematics -- Logic; Computers -- Intelligence (AI) & Semantics; Computers -- Hardware -- Network Hardware; Computer programming / software development; Programming & scripting languages: general; Mathematical theory of computation; Artificial intelligence; Network hardware; Software engineering; Logic design; Artificial intelligence; Computer Communication Networks; Computers -- Software Development & Engineering -- General; Software Engineering
• Languages: English
• ISBNs: 9783319262871
• Related ISBNs: 9783319262864
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.