Tools and algorithms for the construction and analysis of systems. 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /: 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Part I : (2017)

• Record Type: Book
• Other Titles: TACAS 2017
• Further Information: Note: Axel Legay, Tiziana Margaria (eds.).
• Editors: Legay, Axel; Margaria-Steffen, Tiziana, 1964-
• Other Names: TACAS (Conference), 23rd; ETAPS (Conference), 20th, jointly held conference
• Publisher Details: Berlin, Germany : Springer
• Publication Date: 2017
• Extent: 1 online resource (xxiv, 609 pages), illustrations
• Subjects: 004.2/1; System design -- Congresses; Computer software -- Verification -- Congresses; System analysis -- Congresses; Computer software -- Verification; System analysis; System design; Computer Science; Logics and Meanings of Programs; Algorithm Analysis and Problem Complexity; Software Engineering; Computation by Abstract Devices; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Electronic books; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783662545775; 3662545772
• Related ISBNs: 9783662545768; 9783662545799; 3662545799; 3662545764
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed April 3, 2017).
• 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.