Tools and methods of program analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised selected papers /: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised selected papers. (2018)
- Record Type:
- Book
- Title:
- Tools and methods of program analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised selected papers /: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised selected papers. (2018)
- Main Title:
- Tools and methods of program analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised selected papers
- Other Titles:
- TMPA 2017
- Further Information:
- Note: Vladimir Itsykson, Andre Scedrov, Victor Zakharov (eds.).
- Editors:
- Itsykson, Vladimir
Ščedrov, Andrej, 1955-
Zakharov, Victor - Other Names:
- International Conference on Tools and Methods of Program Analysis, 4th
- Contents:
- Software test automation -- Static program analysis -- Verification -- Dynamic methods of program analysis -- Testing and analysis of parallel and distributed systems -- Testing and analysis of high-load and high-availability systems -- Analysis and verification of hardware and software systems -- Methods of building quality software -- Tools for software analysis, testing and verification.
- Publisher Details:
- Cham, Switzerland : Springer
- Publication Date:
- 2018
- Extent:
- 1 online resource (xviii, 209 pages), illustrations
- Subjects:
- 005.1/4
Computer science
Computer software -- Testing -- Congresses
Computer software -- Verification -- Congresses
Computer software -- Testing
Computer software -- Verification
Computers -- Hardware -- Handheld Devices
Computers -- Computer Simulation
Computers -- Operating Systems -- General
Computers -- Intelligence (AI) & Semantics
Computers -- Programming Languages -- General
Systems analysis & design
3D graphics & modelling
Operating systems
Artificial intelligence
Programming & scripting languages: general
Software engineering
Computer system performance
Computer simulation
Operating systems (Computers)
Artificial intelligence
Computers -- Software Development & Engineering -- General
Software Engineering
Electronic books
Conference papers and proceedings - Languages:
- English
- ISBNs:
- 9783319717340
3319717340 - Related ISBNs:
- 9783319717333
3319717332 - Notes:
- Note: Online resource; title from PDF title page (SpringerLink, viewed January 11, 2018).
- 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.341461
- Ingest File:
- 01_292.xml