Theoretical aspects of computing -- ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings /: 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings. (2016)
- Record Type:
- Book
- Title:
- Theoretical aspects of computing -- ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings /: 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings. (2016)
- Main Title:
- Theoretical aspects of computing -- ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings
- Other Titles:
- ICTAC 2016
- Further Information:
- Note: Edited by Augusto Sampaio, Farn Wang.
- Editors:
- Sampaio, Augusto
Wang, Farn - Other Names:
- ICTAC (Colloquium), 13th
- Contents:
- Topical sections on program verification -- Design, synthesis and testing -- Calculi -- Specifications -- Composition and transformation -- Automata -- Temporal logics -- Tool and short papers.
- Publisher Details:
- Cham, Switzerland : Springer
- Publication Date:
- 2016
- Extent:
- 1 online resource (xvii, 479 pages), illustrations
- Subjects:
- 005.1015113
Computer science
Computer science -- Congresses
Computer science
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
Logic design
Computational complexity
Software engineering
Computers -- Programming -- General
Computer programming / software development
Electronic books
Conference papers and proceedings - Languages:
- English
- ISBNs:
- 9783319467504
3319467506
3319467492
9783319467498 - Related ISBNs:
- 9783319467498
- Notes:
- Note: Online resource; title from PDF title page (SpringerLink, viewed October 21, 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.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.356886
- Ingest File:
- 01_318.xml