Computer-aided specification techniques : pbk

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

Search by Bookstore

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

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

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: 9971978539
9971500957
Title: Computer-aided specification techniques
Volume: : pbk
Author/Editor: János Demetrovics, Előd Knuth, Péter Radó
Author Heading: Demetrovics, János
https://ci.nii.ac.jp/author/DA0030901X
Knuth, Előd
https://ci.nii.ac.jp/author/DA00317685
Radó, Péter
https://ci.nii.ac.jp/author/DA0031770X
Publication, Distribution, etc.: World Scientific
Publication Date: c1985
Publication Date (W3CDTF): 1985
Size: 24cm
Place of Publication (Country Code): si
Text Language Code: en
Subject Heading: System design
Computer-aided design
LCC: QA76.9.S88
Target Audience: 一般
Related Material: Series in computer science
https://cir.nii.ac.jp/crid/1130282269452418816
Related Material (URI): https://ci.nii.ac.jp/ncid/BA00187244#entity
https://lccn.loc.gov/85031535
Periodical Title: Series in computer science
https://cir.nii.ac.jp/crid/1130282269452418816
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BA00187244 : BA00187244
LC Control Number: 85031535
https://lccn.loc.gov/85031535