Specification Case Studies in RAISE (Formal Approaches to Computing and Information Technology (FACIT))
by Tomasz Janowski,Richard Moore,Chris George,Hung Dang Van
ISBN 13: 9781852333591
Format: Illustrated (424 pages) Publisher: Springer Published: 13 Jun 2008
Save for later