C.A.R. Hoare – författare

Visar alla böcker från författaren C.A.R. Hoare. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   VDM '90. VDM and Z - Formal Methods in Software Development

   Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings

   Av Dines Bjørner, C.A.R. Hoare m. fl.

   Häftad, 1990

   567 kr

   Lägg i varukorg

   The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematician whose name is associated with set theory. Many computing science, programming and software engineering …