4th Refinement Workshop : proceedings of the 4th Refinement Workshop

Material type: 図書

Author: organised by BCS-FACS, 9-11 January 1991, Cambridge ; Joseph M. Morris and Roger C. Shaw, eds

Publisher: Springer-Verlag

Publication date: c1991

Material Format: Paper

Capacity, size, etc.: 25 cm

NDC: -

View All

Notes on use

Note (General)：: "Published in collaboration with the British Computer Society."Includes bibliographical references and index

Related materials as well as pre- and post-revision versions

Workshops in computing

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

Search by Bookstore

Bibliographic Record

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

Paper

Material Type: 図書
ISBN: 3540196579
0387196579
Title: 4th Refinement Workshop : proceedings of the 4th Refinement Workshop
Author/Editor: organised by BCS-FACS, 9-11 January 1991, Cambridge ; Joseph M. Morris and Roger C. Shaw, eds
Author Heading: Refinement Workshop
https://ci.nii.ac.jp/author/DA05494134
Morris, Joseph M.
https://ci.nii.ac.jp/author/DA05860403
Shaw, Roger C. F.
https://ci.nii.ac.jp/author/DA04907002
British Computer Society. Specialist Group in Formal Aspects of Computing Science
Publication, Distribution, etc.: Springer-Verlag
Publication Date: c1991
Publication Date (W3CDTF): 1991
Size: 25 cm
Alternative Title: Fourth Refinement Workshop
Place of Publication (Country Code): uk
Subject Heading: Computer software -- Development -- Congresses
Computers -- Congresses
LCC: QA76.76.D47
Target Audience: 一般
Note (General): "Published in collaboration with the British Computer Society."
Includes bibliographical references and index
Related Material: Workshops in computing
https://cir.nii.ac.jp/crid/1130000797249135104
Related Material (URI): https://ci.nii.ac.jp/ncid/BA13183428#entity
https://lccn.loc.gov/91000442
Periodical Title: Workshops in computing
https://cir.nii.ac.jp/crid/1130000797249135104
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BA13183428 : BA13183428
LC Control Number: 91000442
https://lccn.loc.gov/91000442