Filtre:

Cărți de Howard Barringer

Temporal Logic in Specification

Editat de Behnam Banieqbal et al.

11 oct 1989

Preț: 343^.57 lei 429^.46 lei

6-8 săpt.

-20%

Advances in Temporal Logic

Applied Logic Series, nr. 16

Editat de Howard Barringer et al.

8 dec 2010

Preț: 957^.33 lei 1167^.48 lei

6-8 săpt.

-18%

A Survey of Verification Techniques for Parallel Programs

Autor Howard Barringer

mai 1985

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

6-8 săpt.

-20%