1.
Formal Description Techniques IX Theory, Application and Tools Ifip Tc6/6.1 International C...
by Gotzhein, R., Bredereke, J.
ISBN: 9780412794902
List Price: $377.00
2.
Formal Description Techniques IX : Theory, Application and Tools
by Gotzhein, R., Bredereke, J.
ISBN: 9781504128834