An Axiomatic Definition of the Programming Language PASCAL

類似資料

• An Axiomatic Definition of the Programming Language PASCAL
  著者:: Hoare, C, 等
  出版事項: (1973)
• Axiomatic Definitions of Programming Languages: A Theoretical Assessment
  著者:: Meyer, Albert R., 等
  出版事項: (2023)
• Parallel Programming: An Axiomatic Approach
  著者:: Hoare, C
  出版事項: (1975)
• An Axiomatic Basis of Computer Programming
  著者:: Hoare, C
  出版事項: (2015)
• An Axiomatic Basis for Computer Programming
  著者:: Hoare, C
  出版事項: (1969)