C.A.R. Hoare

C.A.R. Hoare

3 ספרים במאגר

ספרים

VDM '90 VDM and Z -- Formal Methods in Software DevelopmentC.A.R. Hoare

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

C.A.R. Hoare · 1990

Communicating Sequential ProcessesC.A.R. Hoare

Communicating Sequential Processes

C.A.R. Hoare · 2021

Vzaimodejstvujus c ie posledovatel'nye processyC.A.R. Hoare

Vzaimodejstvujus c ie posledovatel'nye processy

C.A.R. Hoare · 1989

ספרים משותפים ואוספים

ספרים שבהם C.A.R. Hoare מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Logic of Programming and Calculi of Discrete DesignF. Bauer

Logic of Programming and Calculi of Discrete Design

F. Bauer · 2012

VDM '90. VDM and Z - Formal Methods in Software DevelopmentDines Bjørner

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

Dines Bjørner · 2014