Specification Case Studies in RAISE (Formal Approaches to Computing and Information Technology > Editions

by Richard Moore First published March 22nd 2002

Specification Case Studies in RAISE (Formal Approaches to Computing and Information Technology (FACIT))
Published March 22nd 2002 by Springer
Paperback, 405 pages
ISBN:
1852333596 (ISBN13: 9781852333591)
Average rating:
0.0 (0 ratings)
Rate this book
Clear rating

per page