从网站菜单这儿是这个页的前头

快捷键的操作方法如下。跳转页面和执行功能需要同时按下下面的快捷键之后再按下Enter键:听快捷键的操作方法,按下Alt和0键。跳转到首页,按下Alt和1键。登录,按下Alt和2键。跳转到简易检索,按下Alt和3键。跳转到高级检索,按下Alt和4键。跳转到面向残疾人的资料检索,按下Alt和5键。排序检索结果,按下Alt和6键。跳转到国立国会图书馆首页,按下Alt和7键。对检索结果进行过滤,按下Alt和8键。以上是快捷键的操作方法。

从导航这儿

到导航这儿

从本文这儿

资料类别 記事・論文

形式手法による組み込みソフトウェア開発(第5回)ステート・マシンによる仕様の分割とデッドロックの排除

藤倉 俊幸

书目信息

题名 形式手法による組み込みソフトウェア開発(第5回)ステート・マシンによる仕様の分割とデッドロックの排除
著者 藤倉 俊幸
出版地(国名编码) JP
出版年(W3CDTF) 2012-11
主题(关键字) 形式手法
主题(关键字) クラス設計
主题(关键字) LTSA
主题(关键字) ステート・マシン
NDLC ZM13
阅读对象 一般
资料的类别 記事・論文
刊载杂志的信息 (URI形式) https://iss.ndl.go.jp/books/R100000002-I000000032482-00
刊载杂志的信息 (ISSN形式) 03879569
刊载杂志的信息 (ISSN-L形式) 03879569
刊载杂志名 インターフェース = Interface
刊载卷 38
刊载号 11
刊载通号 425
刊载页 160-166
语言(ISO639-2形式) jpn : 日本語

到本文这儿

Copyright © 2012 National Diet Library. All Rights Reserved.

到页脚这儿