C.A.R. Hoareの本 - BookPine

Unifying Theories of Programming

Unifying Theories of Programming

C.A.R. Hoare

Vdm '90: Vdm and Z-Formal Methods in Software Development

Vdm '90: Vdm and Z-Formal Methods in Software Development

D. Bjorner

Developments in Concurrency and Communication

Developments in Concurrency and Communication

C.A.R. Hoare

Essays in Computing Science

Essays in Computing Science

C.A.R. Hoare

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Friedrich L. Bauer

Mathematical Logic and Programming Languages

Mathematical Logic and Programming Languages

C.A.R. Hoare

Communicating sequential processes

Communicating sequential processes

C.A.R. Hoare

Specification-orientated Semantics for Communicating Process

Specification-orientated Semantics for Communicating Process

E-.R. Olderog

Operating Systems Techniques: Proceedings

Operating Systems Techniques: Proceedings

C.A.R. Hoare

Structured Programming

Structured Programming

Ole-Johan Dahl