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%

Advances in Temporal Logic

Applied Logic Series, nr. 16

Editat de Howard Barringer et al.

31 dec 1999

Preț: 922^.72 lei 1125^.26 lei

6-8 săpt.

-18%

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%

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Lecture Notes in Computer Science, nr. 6418

Editat de Howard Barringer et al.

19 oct 2010

Preț: 331^.62 lei 414^.53 lei

3-5 săpt.

-20%