Formal Software Development: From VDM to Java

by Quentin Charatan

Paperback

details (UK).

ISBN: 978-0-333-99281-4

ISBN-10: 0-333-99281-4

Red Globe Press · 2003