FM 2005 : formal methods : International Symposium of Formal MethodsEurope, Newcastle, UK, July 18-22, 2005 : proceedings


International Symposium of Formal Methods Europe
Bok Engelsk 2005

Detaljer

Bibliotek som har denne