図書

Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings

Icons representing 図書

Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings

Call No. (NDL)
M154-D14
Bibliographic ID of National Diet Library
030463775
Material type
図書
Author
Yamine Ait-Ameur, Shin Nakajima, Dominique Méry, editors
Publisher
Springer
Publication date
[2021]
Material Format
Paper
Capacity, size, etc.
xii, 346 pages ; 24 cm
NDC
-
View All

Notes on use

Other physical details：

illustrations

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

  • 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
9811550530
9789811550539
ISBN (error code)
9789811550546 (electronic bk.)
9811550549 (electronic bk.)
Title
Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings
Author/Editor
Yamine Ait-Ameur, Shin Nakajima, Dominique Méry, editors
Author Heading
Aït-Ameur, Yamine
中島, 震, 1955- ナカジマ, シン, 1955- ( 00892083 )Authorities
Méry, Dominique
Publication, Distribution, etc.
Singapore : Springer (出版)
Publication Date
[2021]
Publication Date (W3CDTF)
2021
Extent
xii, 346 pages