Theoretical aspects of computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, proceedings /: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, proceedings. (2015)

• Record Type: Book
• Further Information: Note: Martin Leucker, Camilo Rueda, Frank D. Valencia (Eds.).
• Editors: Leucker, Martin; Rueda, Camilo; Valencia, F. D (Frank D.)
• Other Names: ICTAC (Colloquium), 12th
• Publisher Details: Cham : Springer
• Publication Date: 2015
• Copyright Date: 2015
• Extent: 1 online resource (620 pages)
• Subjects: 004; Computer science; Electronic data processing -- Congresses; Logic design; Computational complexity; Software engineering; Computers -- Programming Languages -- General; Computers -- Data Processing; Computers -- Software Development & Engineering -- General; Mathematics -- Logic; Programming & scripting languages: general; Discrete mathematics; Software Engineering; Mathematical theory of computation; Computers -- Programming -- General; Computer programming / software development
• Languages: English
• ISBNs: 9783319251509
• Related ISBNs: 9783319251493
• 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.