Megjelenítés: 1 - 20 / 60 - kulcsszavak: '"szoftverfejlesztés"', keresési idő: 0.05mp Találatok szűrése
1
Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...szoftverfejlesztés...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
2
Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY
Megjelenés: 2020
Tárgyszavak: “...szoftverfejlesztés...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
3
Engineering Trustworthy Software Systems : 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
Megjelenés: 2019
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
4
Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers
Megjelenés: 2020
Tárgyszavak: “...szoftverfejlesztés...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
5
Transactions on Rough Sets XXII
Megjelenés: 2020
Tárgyszavak: “...szoftverfejlesztés...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
6
Logic, Language, and Security : Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Megjelenés: 2020
Tárgyszavak: “...szoftverfejlesztés...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
7
Testing Software and Systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...szoftverfejlesztés...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
8
Numerical Software Verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
9
Tests and Proofs : 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
10
Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...szoftverfejlesztés...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
11
Formal Methods – The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
12
Fundamentals of Software Engineering : 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
Megjelenés: 2019
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
13
Frontiers in Software Engineering Education : First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers
Megjelenés: 2020
Tárgyszavak: “...szoftverfejlesztés...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
14
From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Megjelenés: 2019
Tárgyszavak: “...szoftverfejlesztés...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
15
Testing Software and Systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
16
Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
17
Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...verifikáció -- szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
18
Verification and Evaluation of Computer and Communication Systems : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...szoftverfejlesztés...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
19
Implementation and Application of Automata : 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
20
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
Megjelenés: 2020
Tárgyszavak: “...szoftverfejlesztés...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése