Proceedings of the Intl Symposium of Formal Methods, held July 22-24, 2002 in Copenhagen, Denmark. All current aspects of formal methods are addressed, from foundational and methodological issues to advanced application in various fields. Softcover.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.