Refinement : 4th Workshop : Jan 1991, Cambridge, UK.

Author: British Computer Society. Specialist Group in Formal Aspects of Computing Science.

Publisher: Published in collaboration with the British Computer Society [by] Springer-Verlag

Notes on use

Note (General)：: Papers.(Workshops in Computing)Index term: refinement ; BCS ; FACS....

Search by Bookstore

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
ISBN: 3540196579
0387196579
Title: Refinement : 4th Workshop : Jan 1991, Cambridge, UK.
Author Heading: British Computer Society. Specialist Group in Formal Aspects of Computing Science.
Publication, Distribution, etc.: London : Published in collaboration with the British Computer Society [by] Springer-Verlag
Publication Date: c1991.
Publication Date (W3CDTF): 1991
Extent: v.
Alternative Title: (Workshops in Computing)
refinement ; BCS ; FACS
NDLC: M17
M154
Note (General): Papers.
(Workshops in Computing)
Index term: refinement ; BCS ; FACS.
BL shelfmark: 7332.195 4th 1991.
Holding library: 国立国会図書館
Call No.: M17-92-1302
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003486002
http://id.ndl.go.jp/bib/000003486002
UKMARC No.: G01666410
Bibliographic Record Category (NDL): 215