Formal Techniques for Computer Systems and Bu... Formal Techniques for Computer Systems and Business Processes English, Paperback, unknown Reference Books