Megjelenítés: 1 - 20 / 75 - kulcsszavak: '"Software Engineering."', keresési idő: 0.11mp Találatok szűrése
1
Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY
Megjelenés: 2020
Tárgyszavak: “...Software engineering...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
2
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: “...Software engineering...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
3
Transactions on Rough Sets XXII
Megjelenés: 2020
Tárgyszavak: “...Software engineering...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
4
Logic, Language, and Security : Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Megjelenés: 2020
Tárgyszavak: “...Software engineering...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
5
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: “...Software engineering...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
6
Numerical Software Verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
7
Unifying Theories of Programming : 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
8
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: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
9
Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...Software engineering...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
10
Formal Methods – The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
11
Fundamentals of Software Engineering : 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
Megjelenés: 2019
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
12
Frontiers in Software Engineering Education : First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers
Megjelenés: 2020
Tárgyszavak: “...Software engineering...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
13
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: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
14
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: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
15
Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
16
Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
17
Verification and Evaluation of Computer and Communication Systems : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
18
Implementation and Application of Automata : 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
19
Multi-Agent Systems : 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers
Megjelenés: 2019
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
20
Programming Languages and Systems : 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...Software engineering....”
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