Theoretical aspects of computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, proceedings /: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, proceedings. (2017)

• Record Type: Book
• Further Information: Note: Edited by Dang Van Hung, Deepak Kapur.
• Editors: Dang, Hung Van, 1950-; Kapur, Deepak
• Other Names: ICTAC (Colloquium), 14th
• Contents: Logics -- Software components and concurrency -- Automata -- SMT solvers and algorithms -- Security.
• Publisher Details: Cham : Springer
• Publication Date: 2017
• Extent: 1 online resource (XX, 305 pages), 58 illustrations
• Subjects: 005.1015113; Electronic data processing -- Congresses; Information theory -- Congresses; Artificial intelligence; Computer logic; Computer science; Logic, Symbolic and mathematical; Programming languages (Electronic computers); Software engineering; Electronic books; Conference papers and proceedings; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319677293; 3319677292
• Related ISBNs: 3319677284; 9783319677286
• Notes: Note: Includes bibliographical references and author index.
• 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.