Filtre: Tipărit la comandă

Cărți de Howard Barringer

Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings

Lecture Notes in Computer Science, nr. 398

Editat de Behnam Banieqbal et al.

11 oct 1989

Preț: 327^.54 lei 409^.42 lei

6-8 săpt.

-20%

A Survey of Verification Techniques for Parallel Programs

Autor Howard Barringer

mai 1985

Preț: 225^.93 lei 282^.42 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ț: 915^.43 lei 1116^.37 lei

6-8 săpt.

-18%