Verified software: theories, tools, and experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers /: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers. (2016)

• Record Type: Book
• Further Information: Note: Arie Gurfinkel, Sanjit A. Seshia (eds.).
• Editors: Gurfinkel, Arie; Seshia, Sanjit A
• Other Names: VSTTE (Conference), 7th
• Contents: Large-scale verification.- collaboration:- Theory Unication.- ToolIntegration.- Formalized domain knowledge.
• Publisher Details: Cham : Springer
• Publication Date: 2016
• Copyright Date: 2016
• Extent: 1 online resource (223 pages)
• Subjects: 005.14; Computer science; Computer programs -- Verification -- Congresses; Computers -- Programming -- General; Computers -- Programming Languages -- General; Mathematics -- Logic; Computers -- Intelligence (AI) & Semantics; Computer programming / software development; Programming & scripting languages: general; Mathematical theory of computation; Artificial intelligence; Software engineering; Logic design; Artificial intelligence; Computers -- Software Development & Engineering -- General; Software Engineering
• Languages: English
• ISBNs: 9783319296135
• Related ISBNs: 9783319296128
• 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.