Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers...

সম্পূর্ণ বিবরণ

সংরক্ষণ করুন:
গ্রন্থ-পঞ্জীর বিবরন
প্রকাশিত:Theoretical Computer Science and General Issues
প্রধান লেখক: Alessandra Russo, Andy Schürr
বিন্যাস: Livro
ভাষা:Inglês
প্রকাশিত: Springer Nature 2018
বিষয়গুলি:
QA75.5-76.95
bic Book Industry Communication::U Computing & information technology::UY Computer science
formal logic
computer software maintenance
formal methods
software engineering
semantics
programming languages
computer software selection and evaluation
formal specification
specifications
verification
অনলাইন ব্যবহার করুন:https://directory.doabooks.org/handle/20.500.12854/48199
ট্যাগগুলো: ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!

অনুরূপ উপাদানগুলি