Filtre: Springer

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.

31 dec 1999

Preț: 962^.91 lei 1174^.28 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%