Formal methods.
Beth Evert W
Formal methods. - Holland D Reidel Publishing 1962 - xiv,170p. cm. - Synthese library. .
44332
Textual
R14, K2
Formal methods. - Holland D Reidel Publishing 1962 - xiv,170p. cm. - Synthese library. .
44332
Textual
R14, K2
