Similar to プログラム意味論

Gδ set

Specification and Description Language

PlusCal

TLA+

Vienna Development Method

Formal specification

Specification language

Z notation

Unifying Theories of Programming

Process calculus

Petri net

Operational semantics

Denotational semantics

Japanese submarine chaser CH-7

15 cm sIG 33 (Sf) auf Panzerkampfwagen I Ausf B

Panzer I

Sturmgeschütz III

3D computer graphics

Panther tank