Filtre: Engleză

Cărți de Howard Barringer

Temporal Logic in Specification

Editat de Behnam Banieqbal et al.

11 oct 1989

Preț: 330^.36 lei 412^.95 lei

43-57 zile

-20%

Advances in Temporal Logic

Applied Logic Series, nr. 16

Editat de Howard Barringer et al.

8 dec 2010

Preț: 908^.31 lei 1107^.70 lei

43-57 zile

-18%

A Survey of Verification Techniques for Parallel Programs

Autor Howard Barringer

mai 1985

Preț: 226^.64 lei 283^.29 lei

43-57 zile

-20%