Tests and proofs : 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings /

Tests and proofs : 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings /

This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selec...

Full description

Bibliographic Details
Corporate Authors: TAP (Conference) Vienna, Austria), STAF (Federation of conferences)
Other Authors: Aichernig, Bernhard K., 1969- (Editor), Furia, Carlo A., 1979- (Editor)
Format: Conference Proceeding Book
Language:English
Published: Switzerland : Springer, 2016
Series:LNCS sublibrary Programming and software engineering.
Lecture notes in computer science ; 9762
Subjects:
Computer software > Testing > Congresses
Computer software > Verification > Congresses
Software engineering > Congresses
Génie logiciel > Congrès
Logiciels > Vérification > Congrès
Computer modelling & simulation
Computer programming > software development
Computer software > Testing
Computer software > Verification
Computers > Computer Simulation
Computers > Programming Languages > General
Computers > Programming > General
Computers > Software Development & Engineering > General
Mathematical theory of computation
Mathematics > Logic
Programming & scripting languages: general
Software Engineering
Software engineering
Electronic books
Congress
Conference papers and proceedings

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Stanford University

Holdings details from Stanford University
Call Number: INTERNET RESOURCE

Similar Items