翻訳と辞書 Words near each other ・ axiomatic architecture description language ・ axiomatic semantics ・ axiomatic set theory ・ axle ・ ayacc ・ ayt ・ az ・ azerty ・ b-0 ・ b-line ・ b-method ・ b-toolkit ・ b-tree ・ b1 security ・ b1ff ・ b2 security ・ b2b ・ b3 security ・ b4 ・ ba Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク b-method ： FOLDOC B-Method A system for rigorous or formal development of software using the notion of {Abstract Machines} to specify and design software systems. The B-Method is supported by the B-Toolkit. Abstract Machines are specified using the Abstract Machine Notation (AMN) which is in turn based on the mathematical theory of {Generalised Substitutions}. (1995-03-13) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.