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)