Tokai University Library

3rd Refinement Workshop : proceedings of the 3rd Refinement Workshop (organised by BCS-FACS, and sponsored by IBM UK Laboratories, Hursley Park and the Programming Research Group, University of Oxford) 9-11 January 1990, Hursley Park

Carroll Morgan and J.C.P. Woodcock (eds.) ; : us, : gw. -- Springer, 1991. -- (Workshops in computing). <TY10003453>
Tag:
No tag is registered
URL:

HoldingsList 1-1 of about 1

No. Volumes Library Location Call No Material ID Status Due Date Reservation WEB書棚
0001 12Gokan 開架室 549.9364/R/3 0010005078032 配架済 0items
No. 0001
Volumes
Library 12Gokan
Location 開架室
Call No 549.9364/R/3
Material ID 0010005078032
Status 配架済
Due Date
Reservation 0items
WEB書棚

Bibliography Details

title and statement of responsibility area 3rd Refinement Workshop : proceedings of the 3rd Refinement Workshop (organised by BCS-FACS, and sponsored by IBM UK Laboratories, Hursley Park and the Programming Research Group, University of Oxford) 9-11 January 1990, Hursley Park / Carroll Morgan and J.C.P. Woodcock (eds.)
publication,distribution,etc.,area London ; Tokyo : Springer , c1991
physical description area vii, 197 p. ; 25 cm
Volume Information
volumes : us
ISBN 0387196242
Volume Information
volumes : gw
ISBN 3540196242
parent bibliography link Workshops in computing <TY10000430>
variant titles 不使用・別形式でのタイトル副出:Third Refinement Workshop
note "Published in collaboration with the British Computer Society."
note Includes index
NCID BA12406334
text language code English
author link *Refinement Workshop (3rd : 1990 : IBM UK Laboratories) <>
author link Morgan, Carroll, 1952- <>
author link Woodcock, Jim <>
author link Oxford University Computing Laboratory. Programming Research Group <>
author link IBM UK Laboratories <>
classification LCC:QA76.6
classification DC20:005.1
local CLS NDC:549.9364
subject headings Electronic digital computers -- Programming -- Congresses
ID TY10003453