Software Systems Development With CD: Formal Methods into Practice

by: J. Fitzgerald · P. G. Larsen

Hardcover

ISBN: 978-0-521-59188-1

ISBN-10: 0-521-59188-0

Cambridge University Press · 2002