Cărți de C.A.R. Hoare

Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

NATO ASI Subseries F:, nr. 36

F. Bauer et al.

9 apr 2012

Preț: 334^.93 lei 418^.66 lei

43-57 zile

-20%

Programming and Mathematical Method: International Summer School

NATO ASI Subseries F:, nr. 88

Editat de Manfred Broy et al.

21 dec 2011

Preț: 641^.45 lei 801^.81 lei

43-57 zile

-20%

VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings

Lecture Notes in Computer Science, nr. 428

Editat de Dines Bjørner et al.

4 apr 1990

Preț: 340^.60 lei 425^.74 lei

43-57 zile

-20%

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

Springer Study Edition

F. L. Bauer et al.

dec 1986

Preț: 647^.61 lei 809^.51 lei

43-57 zile

-20%