The B-Book 论文

1996Cambridge University Press eBooks引用 1637
DOI
Logic, programming, and type systemsAdvanced Software Engineering MethodologiesSoftware Engineering Research
企业软件Software Engineering ResearchAdvanced Software Engineering MethodologiesLogic, programming, and type systems
相关技术:Advanced Software Engineering Methodologies
关系图谱

The B-Book · 作者

P

Pierre Chapron

A

A. Hoare

J

J. R. Abrial