Formal Software Development
Subtitle: from Vda to Java
Publisher: Palgrave Macmillan
Published: 2003
Language: eng
ISBN-13: 9781280282669