Applications of Formal Methods

by: Michael G. Hinchey · J. P. Bowen

Textbook Binding

details (USA).

details (Germany).
(see also: Lehrbuch)

ISBN: 978-0-13-366949-7

ISBN-10: 0-13-366949-1

Prentice Hall · 1995