C.A.R. Hoare

Books by C.A.R. Hoare

Total count: 3

• 
  Vzaimodejstvujus c ie posledovatel'nye processy

  Mir1989-01-01
• Logic of Programming and Calculi of Discrete DesignInternational Summer School Directed by F. L. Bauer, M. Broy, E. W. Dijkstra, C. A. R. Hoare

  Springer2012-01-01
• VDM '90. VDM and Z - Formal Methods in Software DevelopmentThird International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings

  Springer2014-03-12