Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. (2018)

• Record Type: Book
• Other Titles: ATVA 2018
• Further Information: Note: Shuvendu K. Lahiri, Chao Wang (eds.).
• Editors: Lahiri, Shuvendu; Wang, Chao, 1985-
• Other Names: ATVA (Symposium), 16th
• Contents: Formal Methods.- Verification.- Program Synthesis.- Model Checking.- Theorem Proving.- Software Verification.- SAT Solver.- SMT Solver.- Automaton Logic.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2018
• Extent: 1 online resource (xiii, 560 pages), illustrations
• Subjects: 006.3/33; Computer science; Automatic theorem proving -- Congresses; Artificial intelligence -- Congresses; Computers -- Programming Languages -- General; Computers -- Security -- General; Computers -- Computer Simulation; Computers -- Programming -- General; Mathematics -- Logic; Programming & scripting languages: general; Computer security; 3D graphics & modelling; Computer programming / software development; Mathematical theory of computation; Software engineering; Data protection; Computer simulation; Logic design; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books
• Languages: English
• ISBNs: 9783030010904; 3030010902
• Related ISBNs: 9783030010898
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed October 4, 2018).
• 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.