An Eclipse Environment for Z: The Integration of Z Language Support into Eclipse

Integration

von Chengdong Xu

Taschenbuch

ISBN-13: 978-3-639-03699-2

ISBN-10: 3-639-03699-9

VDM Verlag · 2008