Produktnummer:
183b90554672f84904b1e726aa2af54a9b
| Themengebiete: | cloud computing fault models and test metrics formal methods formal specifications protocol testing and verification real-time system specification software functional properties software system models testing with distributed and oarallel systems theorem proving and SAT solving |
|---|---|
| Veröffentlichungsdatum: | 15.09.2017 |
| EAN: | 9783319675480 |
| Sprache: | Englisch |
| Seitenzahl: | 341 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Cavalli, Ana Rosa Yenigün, Hüsnü Yevtushenko, Nina |
| Verlag: | Springer International Publishing |
| Untertitel: | 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings |
Produktinformationen "Testing Software and Systems"
This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017.The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and system testing including real time systems.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen