Interactive theorem proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings /: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings. (2016)

• Record Type: Book
• Other Titles: ITP 2016
• Further Information: Note: Jasmin Christian Blanchette, Stephan Merz (eds.).
• Editors: Blanchette, Jasmin; Merz, Stephan
• Other Names: ITP (Conference), 7th
• Publisher Details: Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource (xvii, 502 pages), illustrations
• Subjects: 511.3/6028563; Computer science; Automatic theorem proving -- Congresses; Software engineering -- Congresses; Automatic theorem proving; Software engineering; Computers -- Programming -- General; Computers -- Programming -- Algorithms; Computers -- Software Development & Engineering -- General; Computers -- Hardware -- Handheld Devices; Computers -- Computer Simulation; Computer programming / software development; Algorithms & data structures; Software Engineering; Systems analysis & design; Computer modelling & simulation; Logic design; Computer software; Software engineering; Computer system performance; Computer simulation; Mathematics -- Logic; Mathematical theory of computation; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319431444; 3319431447
• Related ISBNs: 9783319431437
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed August 10, 2016).
• 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.