Formal Models and Practical Tools for Information Systems Design: Conference Proceedings - Hardcover

 
9780444853943: Formal Models and Practical Tools for Information Systems Design: Conference Proceedings