Any person who does any unauthorised act in relation to this publication may be liable to criminal prosecution and civil claims for damages. No paragraph of this publication may be reproduced, copied or transmitted save with written permission or in accordance with the provisions of the Copyright, Designs and Patents Act 1988, or under the terms of any licence permitting limited copying issued by the Copyright Licensing Agency, 90 Tottenham Court Road, London W1T 4LP. No reproduction, copy or transmission of this publication may be made without written permission. 1 Formal Software Development From VDM to Java Quentin Charatan and Aaron KansĤ FORMAL SOFTWARE DEVELOPMENT From VDM to Java Quentin Charatan and Aaron Kansĥ Quentin Charatan and Aaron Kans 2004 All rights reserved.
0 Comments
Leave a Reply. |