Formal methods for eternal networked software systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Formal methods for eternal networked software systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, held in Bertinoro, Italy, in June 2011. SFM 2011 was devoted to formal methods for eternal...

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

গ্রন্থ-পঞ্জীর বিবরন
সংস্থা লেখক: International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy, SpringerLink (Online service)
অন্যান্য লেখক: Bernardo, Marco, Issarny, Valérie
বিন্যাস: Electronic Resource
ভাষা:English
প্রকাশিত: Berlin, Heidelberg Springer c2011.
মালা:LNCS sublibrary. SL 2, Programming and software engineering
বিষয়গুলি:
Formal methods (Computer science) > Congresses.
Computer networks > Congresses.
Electronic books.
অনলাইন ব্যবহার করুন:Available for University of the Philippines Diliman via SpringerLink. Click here to access