FORMAL TECHNIQUES FOR SPECIFICATION AND VERIFICATION OF USER INTERFACES (HWR ; HWR-682)

FORMAL TECHNIQUES FOR SPECIFICATION AND VERIFICATION OF USER INTERFACES

(HWR ; HWR-682)

Material type: 図書

Author: Zhang, W.

Publisher: -

Publication date: 2001.

Material Format: Paper

Capacity, size, etc.: 27

NDC: -

Search by Bookstore

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

Japan Atomic Energy Agency's Library Catalog
Paper
Japan Atomic Energy Agency's Library Catalog

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: 図書
Title: FORMAL TECHNIQUES FOR SPECIFICATION AND VERIFICATION OF USER INTERFACES
Author/Editor: Zhang, W.
Series Title: HWR ; HWR-682
Author Heading: Zhang, W.
Publication Date: 2001.
Publication Date (W3CDTF): 2001
Extent: 27
Target Audience: 一般
Data Provider (Database): 日本原子力研究開発機構 : 日本原子力研究開発機構所蔵目録データベース
https://library-documents.jaea.go.jp/opac/opac_search/