Merkliste
Die Merkliste ist leer.
Der Warenkorb ist leer.
Kostenloser Versand möglich
Kostenloser Versand möglich
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Tests and Proofs

8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
BuchKartoniert, Paperback
EUR49,00

Produktbeschreibung

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.
Weiterlesen

Details

ISBN/GTIN978-3-319-09098-6
ProduktartBuch
EinbandKartoniert, Paperback
VerlagSpringer
ErscheinungsortCham
ErscheinungslandSchweiz
Erscheinungsdatum04.08.2014
Auflage2014
ReiheProgramming and Software Engineering
Seiten214 Seiten
SpracheEnglisch
Illustrationen76 s/w Abbildungen
Artikel-Nr.1407227
KatalogVLB
Datenquelle-Nr.37e5c684938441179765637247e3bbaf
Weitere Details

Reihe

Bewertungen

Autor/in

Martina Seidl ist Assistenzprofessorin am Institut für formale Modelle und Verifikation der Johannes Kepler Universität Linz und Research Associate in der Business Informatics Group der TU Wien.

Schlagworte