ISBN 9781852333591 books & textbook
Specification Case Studies in RAISE (Formal Approaches to Computing and Information Technology (FACIT))
Dang Van, Hung George, Chris Janowski, Tomasz Moore, Richard
Springer /2002-02-08 Paperback / 420 Pages
isbn-10: 1852333596 / isbn-13: 9781852333591
