Verwandte Artikel zu Tests and Proofs: 8th International Conference, TAP...

Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings (Programming and Software Engineering, Band 8570) - Softcover

 
9783319090986: Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings (Programming and Software Engineering, Band 8570)
Softcover
ISBN 10: 3319090984 ISBN 13: 9783319090986
Verlag: Springer, 2014

Inhaltsangabe

This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. The 10 revised full papers and 4 short papers presented together with two tutorial descriptions were carefully reviewed and selected from 27 submissions. The papers cover topics in the following four research areas: test generation, bridging semantic gaps, integrated development processes and bounded verification.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2014
Sprache
Englisch
ISBN 10 
3319090984
ISBN 13 
9783319090986
Einband
Taschenbuch
Anzahl der Seiten
228
Herausgeber
Seidl Martina, Tillmann Nikolai
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland