LEADER 00000nam 2200193 a 4500
001 1850321736
007 t
008 950823s1995 enk r 000 eng d
020 1850321736
040 CURLBL
050 4 QA 76.6 F3
100 1 Fencott, Clive.
245 10 Formal methods for concurrency.
260 London :|bInternational Thomson Computer Press,|c1995.
300 290p.
650 0 Computer programming|xSystems analysis.
946 650 has non-LCSH elements -- Check for Geac subject
headings
|