Similar to Spec_Sharp
キセキのはじまり/SHODO
Alloy Analyzer
Alloy Analyzer
プログラム意味論
Semantics (computer science)
仕様記述言語
Specification language
形式仕様記述
Formal specification
Eiffel
Eiffel (programming language)Object Constraint Language
Object Constraint LanguagePlusCal
PlusCalProperty Specification Language
Property Specification Language
VDM
Vienna Development Method
Z言語
Z notation
公理的意味論
Axiomatic semantics
仕様及び記述言語
Specification and Description Language
操作的意味論
Operational semantics表示的意味論
Denotational semantics
プロセス計算
Process calculus
ペトリネット
Petri net(19308) 1996 TO66
(19308) 1996 TO66
フリースタイルスキー・ワールドカップ
FIS Freestyle Ski World Cup2004 FH
2004 FH
第2軍 (日本軍)
Second Army (Japan)
第四号海防艦
第六潜水艇
第七号駆潜艇
Japanese submarine chaser CH-7
第8師団 (日本軍)
8th Division (Imperial Japanese Army)
第十三号輸送艦
第二十号海防艦
第二十二号海防艦
