Books listed by ISBN
>
Chapman and Hall
> J. Bredereke
J. Bredereke
J.B.
title
ISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Formal Description Techniques IX: Theory, application and tools: No. 9
978-O-412-7949O-2
(O-412-7949O-X)
1996
R. Gotzhein
J Bredin