LEADER 00000nam 2200229 a 4500
001 0998706
003 UkHlHU
007 t
008 000911 3 1993 000 eng
040 UkHlHU
050 4 QA 76.63 L8
245 00 Logic and algebra of specification /|cF.L. Bauer, W.
Brauer, H. Schwichtenberg.
260 Berlin :|bSpringer-Verlag,|c1993.
300 442p.
440 0 NATO ASI series F: computer and systems sciences ;|vv.94
650 0 Computer software.
700 1 Bauer, Friedrich Ludwig.
700 1 Brauer, Wilfried.
700 1 Schwichtenberg, Helmut.
|