Formal Object-Oriented Development
Publisher: Springer
Published: Dec 14, 2011
Format: paperback
Number of pages: 440
ISBN-13: 9781447130741