Produktnummer:
18b8c8272543924e669dcea0f85a157f17
Themengebiete: | computer programming languages computer software selection and evaluation debugging graph transformation model checking model transformation semantics software engineering specification verification |
---|---|
Veröffentlichungsdatum: | 22.03.2017 |
EAN: | 9783662544938 |
Sprache: | Englisch |
Seitenzahl: | 444 |
Produktart: | Kartoniert / Broschiert |
Herausgeber: | Huisman, Marieke Rubin, Julia |
Verlag: | Springer Berlin |
Untertitel: | 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings |
Produktinformationen "Fundamental Approaches to Software Engineering"
This book constitutes the proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 23 papers presented in this volume were carefully reviewed and selected from 91 submissions. They were organized in topical sections named: learning and inference; test selection; program and system analysis; graph modeling and transformation; model transformations; configuration and synthesis; and software product lines.

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