資料詳細

  • 1 件中、 1 件目

[ 和図書 ] 仕様記述言語「Z」 「仕様」の数学的構造化に「自然言語」を使う! ( I/O BOOKS )

赤間 世紀／著 -- 工学社 -- 2010.11 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 書庫 一般図書 /007.6/7650/2010 5019773152 Digital BookShelf
2011/03/08 可能 利用可   0

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

    • 統合検索
      都内図書館の所蔵を
      横断検索します。       類似資料 AI Shelf
      この資料に類似した資料を
      AIが紹介します。

ページの先頭へ

資料詳細 閉じる

ISBN 4-7775-1564-6
ISBN13桁 978-4-7775-1564-6
タイトル 仕様記述言語「Z」
タイトルカナ シヨウ キジュツ ゲンゴ ゼッド
タイトル関連情報 「仕様」の数学的構造化に「自然言語」を使う!
タイトル関連情報読み シヨウ ノ スウガクテキ コウゾウカ ニ シゼン ゲンゴ オ ツカウ
著者名 赤間 世紀 ／著
著者名典拠番号

110001859860000

出版地 東京
出版者 工学社
出版者カナ コウガクシャ
出版年 2010.11
ページ数 175p
大きさ 21cm
シリーズ名 I/O BOOKS
シリーズ名のルビ等 アイオー ブックス
価格 ¥2300
内容紹介 論理学に基づく仕様記述言語で、ソフトウェアなどの複雑なシステムの厳密な記述ができる「Z」。理解に必要な数学の基礎から、「Z」の仕様、応用までを解説する。
書誌・年譜・年表 文献:p168〜169
一般件名 プログラミング用言語
一般件名カナ プログラミングヨウゲンゴ
一般件名 プログラミング(コンピュータ)
一般件名カナ プログラミング(コンピュータ)
一般件名典拠番号

510348100000000

分類：都立NDC10版 007.64
資料情報1 『仕様記述言語「Z」 「仕様」の数学的構造化に「自然言語」を使う!』（I/O BOOKS）　赤間 世紀／著 　工学社　2010.11（所蔵館：中央　 請求記号：/007.6/7650/2010　 資料コード：5019773152）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1108228376

ページの先頭へ