Similar to ペトリネット
ピタネのアウトリュコス
Autolycus of PitanePlusCal
PlusCalVDM
Vienna Development Method形式仕様記述
Formal specificationZ言語
Z notationプログラム意味論
Semantics (computer science)Eiffel
Eiffel (programming language)10.5インチiPad Pro
A/UX
A/UXActive Template Library
Active Template LibraryIntel Atom
Intel AtomCeBIT
CeBITChromebook
ChromebookCLIE
CLIÉDIAMETER
Diameter (protocol)Dr.Web
Dr.WebD言語
D (programming language)Ecmaインターナショナル
Ecma InternationalExtended Industry Standard Architecture
Extended Industry Standard Architecture紀元前29世紀
29th century BC紀元前28世紀
28th century BC紀元前27世紀
27th century BC紀元前26世紀
26th century BC紀元前25世紀
25th century BC紀元前24世紀
24th century BC紀元前23世紀
23rd century BC紀元前22世紀
22nd century BC紀元前20世紀
20th century BC